Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Book Chapters
, 2026, 'Automated Symbolic Verification of Quantum Cryptographic Protocols', in Lecture Notes in Computer Science, pp. 237 - 252, http://dx.doi.org/10.1007/978-3-032-20684-8_14
, 2025, 'Securing Healthcare IoT in the Quantum Age Challenges and Mitigation Strategies', in Cybersecurity for Internet of Health Things, pp. 307 - 334, http://dx.doi.org/10.1201/9781003483267-17
, 2020, 'Fast Community Detection with Graph Sparsification', in , pp. 291 - 304, http://dx.doi.org/10.1007/978-3-030-47426-3_23