1. A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. (19th March 2019) Authors: Howard, Giles; Butler, Michael; Colley, John; Sassone, Vladimiro Journal: International journal of critical computer-based systems Issue: Volume 9:Number 1/2(2019) Page Start: 56 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. CIST: A Serious Game for Hardware Supply Chain. Issue 122 (November 2022) Authors: Hart, Stephen; Halak, Basel; Sassone, Vladimiro Journal: Computers & security Issue: Issue 122(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Decentralised provenance for healthcare data. (September 2020) Authors: Margheri, Andrea; Masi, Massimiliano; Miladi, Abdallah; Sassone, Vladimiro; Rosenzweig, Jason Journal: International journal of medical informatics Issue: Volume 141(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Riskio: A Serious Game for Cyber Security Awareness and Education. Issue 95 (August 2020) Authors: Hart, Stephen; Margheri, Andrea; Paci, Federica; Sassone, Vladimiro Journal: Computers & security Issue: Issue 95(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗