Cyber Security
Cyber Security

Publications

Read more about our research.
Applying symbolic bounded model checking to the 2012 RERS greybox challenge
Jeremy Morse, Lucas Cordeiro, Denis Nicole & Bernd Fischer, 2014, International Journal on Software Tools for Technology Transfer, 16(5), 519-529
DOI: 10.1007/s10009-014-0335-0
Type: article
Maintaining provenance throughout the additive manufacturing process
Nawfal Fadhel, Richard M. Crowder & Gary B. Wills, 2014, International Journal for Information Security Research (IJISR), 3(3/4)
Type: article
Transparent authentication methodology in electronic education
Nawfal Fadhel, David Argles, Richard M Crowder & Gary B. Wills, 2014, Engineering Management Reviews, 3, P23 - 32
Type: journalSpecialIssue
Physical-level synthesis for digital lab-on-a-chip considering variation, contamination and defect
2014, IEEE Transactions on Nanobioscience, 13(1), 3-11
DOI: 10.1109/TNB.2013.2294943
Type: article
Cloud-based data stream processing
Thomas Heinze, Leonardo Aniello, Leonardo Querzoni & Zbigniew Jerzak, 2014
DOI: 10.1145/2611286.2611309
Type: conference