By Dr Jesse Laeuchli

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