Cyber Security Academy
Cyber Security Academy

Publications

Browse our most recent publications to learn about our research.
Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis
Colin Snook, Asieh Salehi Fathabadi, Son Hoang, Robert H Thorburn, Michael Butler, Leonardo Aniello & vladi Sassone, 2025
Type: conference
A methodology for cybersecurity risk assessment in supply chains
Betul Gokkaya, Leonardo Aniello, Erisa Karafili & Basel Halak, 2023
Type: conference
A PUF based on the non-linearity of memristors
Callum Aitchison, Basel Halak, Alex Serb & Themis Prodromakis, 2023
DOI: 10.1109/CSR57506.2023.10224980
Type: conference
A memristor fingerprinting and characterisation methodology for hardware security
Callum Aitchison, Basel Halak, Alex Serb & Themis Prodromakis, 2023, Scientific Reports, 13(1), 9392
DOI: 10.1038/s41598-023-33051-z
Type: article
Cascaded Machine Learning Model Based DoS Attacks Detection and Classification in NoC
Shengkai Hu, Haoyu Wang & Basel Halak, 2023
Type: conference
Hardware Trojan detection and high-precision localization in NoC-based MPSoC using machine learning
Haoyu Wang & Basel Halak, 2023
DOI: 10.1145/3566097.3567922
Type: conference
Designing a better internet of things, privacy and compliance by design as SysML domain extension for consumer smart electronics
2022
Type: thesis