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

Trujillo-Rasua R; Laeuchli J; Gil-Pons R, 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

Alif A; Hasan KF; Laeuchli J; Chowdhury MJM, 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

Laeuchli J, 2020, 'Fast Community Detection with Graph Sparsification', in , pp. 291 - 304, http://dx.doi.org/10.1007/978-3-030-47426-3_23


Back to profile page