Cyber Security Academy About us Research themes Training Courses Our people News and events Publications Cyber Security Academy Publications Browse our most recent publications to learn about our research. 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 Comparative analysis of energy costs of asymmetric vs symmetric encryption-based security applications Basel Halak, Yildiran Yilmaz & Daniel Shiu, 2022, IEEE Access, 10, 76707 - 76719 DOI: 10.1109/ACCESS.2022.3192970 Type: article A pedagogical design model to create serious games for cyber security Stephen Hart, 2022 Type: thesis Towards autonomous physical security defenses using machine learning Basel Halak, Christian Hall, Syed Fathir, Nelson Kit, Ruwaydah Raymonde, Michael Gimson, Ahmad Kida & Hugo Vincent, 2022, IEEE Access, 10, 55369-55380 DOI: 10.1109/ACCESS.2022.3175615 Type: article MOTENS Stephen Hart, Basel Halak & Vladimiro Sassone, 2021 Type: other Verifying System-level Security of a Smart Ballot Box Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu, Leonardo Aniello & Vladimiro Sassone, 2021 DOI: 10.1007/978-3-030-77543-8_3 Type: conference Pagination Previous page ‹ Previous Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Next page Next ›