Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Security
School of Electronics and Computer Science > Cyber Security" and Year is 2019
 | Up a level |
Number of items: 5.
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference: (Competition Contribution) - Mikhail R. Gadelha, Felipe Monteiro, Lucas Cordeiro and Denis Nicole
Type: Conference or Workshop Item
| 2019
| Springer Verlag
| Item not available on this server.
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B - Giles Howard, Michael Butler, John Colley and Vladimiro Sassone
Type: Special issue
| 2019
PASCAL: An architecture for proactive auto-scaling of distributed services - Federico Lombardi, Andrea Muti, Leonardo Aniello, Roberto Baldoni, Silvia Bonomi and Leonardo Querzoni
Type: Article
| 2019
| Item availability restricted.
Developing critical software in the modern threat environment - Brian Stevens, Rob Ashmore, Andrea Margheri and Vladimiro Sassone
Type: Conference or Workshop Item
| 2019
Survey of machine learning techniques for malware analysis - Daniele Ucci, Leonardo Aniello and Roberto Baldoni
Type: Article
| 2019
| Item availability restricted.