Cyber Security
Cyber Security

Publications

Read more about our research.
ESBMC v6.0
Mikhail R. Gadelha, Felipe Monteiro, Lucas Cordeiro & Denis Nicole, 2019
DOI: 10.1007/978-3-030-17502-3_15
Type: conference
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
Giles Howard, Michael Butler, John Colley & Vladimiro Sassone, 2019, International Journal of Critical Computer-Based Systems, 56-75
DOI: 10.1504/IJCCBS.2019.10020048
Type: journalSpecialIssue
Threat modelling for the virtual machine image in cloud computing
Raid, Khalid Hussein Hussein & Vladimiro Sassone, 2019
DOI: 10.5121/csit.2019.90911
Type: conference
Survey of machine learning techniques for malware analysis
Daniele Ucci, Leonardo Aniello & Roberto Baldoni, 2019, Computers and Security, 81, 123-147
DOI: 10.1016/j.cose.2018.11.001
Type: article
Developing critical software in the modern threat environment
Brian Stevens, Rob Ashmore, Andrea Margheri & Vladimiro Sassone, 2019
Type: conference