Cyber Security About us Our people Publications Research projects Cyber Security Publications Read more about our research. Designing exception handling using Event-B Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello & Vladimiro Sassone, 2024 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 Robert Thorburn, 2022 Type: thesis A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael Butler, Dana Dghaym & Son Hoang, 2022 Type: conference CIST: a serious game for hardware supply chain Stephen Hart, Basel Halak & Vladimiro Sassone, 2022, Computers & Security, 122 DOI: 10.1016/j.cose.2022.102912 Type: article Pagination Current page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next ›