Publications

Chengsong Diao*, Danielle Dang, Sierra Lira, Angela Tsai, Miro Haller, and Nadia Heninger (2025). "No Key, No Problem: Vulnerabilities in Master Lock Smart Locks". USENIX WOOT 2025.

Matilda Backendal, David Balbás, and Miro Haller. (2025). "Group Key Progression: Strong Security for Shared Persistent Data". preprint (pdf)

Matilda Backendal*, Hannah Davis, Felix Günther, Miro Haller*, Kenneth G. Paterson. (2024). "A Formal Treatment of End-to-End Encrypted Cloud Storage". Crypto 2024 (blog post, pub, pdf)

Matteo Scarlata*, Matilda Backendal, Miro Haller. (2024). "MFKDF: Multiple Factors Knocked Down Flat". USENIX Security 2024 (blog post, pub, pdf)

Sharon Goldberg, Miro Haller*, Nadia Heninger*, Mike Milano, Dan Shumow, Marc Stevens, Adam Suhl*. (2024). "RADIUS/UDP considered harmful". USENIX Security 2024 (blog post, pub, pdf)

Alex Bellon, Miro Haller*, Andrey Labunets, Enze Liu, and Stefan Savage. (2025). "An Empirical Analysis on the Use and Reporting of National Security Letters". CSLAW 2025 (blog post, pub, pdf)

Alexander Viand*, Patrick Jattke, Miro Haller, Anwar Hithnawi. (2023). "HECO: Fully Homomorphic Encryption Compiler". USENIX Security 2023. (blog post, pub, pdf)

Martin R. Albrecht, Miro Haller, Lenka Mareková*, Kenneth G. Paterson. (2023). "Caveat Implementor! Key Recovery Attacks on MEGA". Eurocrypt 2023. (pub, pdf)

🏆 Distinguished Paper Award 🏆
Matilda Backendal, Miro Haller* and Kenneth G. Paterson. (2023). "MEGA: Malleable Encryption Goes Awry". IEEE S&P 2023. (blog post, pdf)

Ivan Puddu*, Moritz Schneider, Miro Haller, Srdjan Čapkun. (2021). "Frontal Attack: Leaking Control-​Flow in SGX via the CPU Frontend". USENIX Security 2021. (blog post, pub, pdf)

M. Backendal, M. Haller, K. G. Paterson, "End-to-End Encrypted Cloud Storage" IEEE Security & Privacy Magazine (blog post, pub, pdf)