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, talk)
Publications
Publications are sorted in reverse order of publication. Stars (*) mark the first author(s).
Papers
Matteo Scarlata*, Matilda Backendal, Miro Haller. (2024). "MFKDF: Multiple Factors Knocked Down Flat". USENIX Security 2024 (blog post, pub, pdf, talk)
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, talk)
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, talk)
Alexander Viand*, Patrick Jattke, Miro Haller, Anwar Hithnawi. (2023). "HECO: Fully Homomorphic Encryption Compiler". USENIX Security 2023. (blog post, pub, pdf, talk)
Martin R. Albrecht, Miro Haller, Lenka Mareková*, Kenneth G. Paterson. (2023). "Caveat Implementor! Key Recovery Attacks on MEGA". Eurocrypt 2023. (blog post, pub, pdf, talk)
🏆 Distinguished Paper Award 🏆
Matilda Backendal, Miro Haller* and Kenneth G. Paterson. (2023). "MEGA: Malleable Encryption Goes Awry". IEEE S&P 2023. (blog post, pub, pdf, talk)
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, talk)