Matilda Backendal*, Hannah Davis, Felix Günther, Miro Haller*, Kenneth G. Paterson. 2024. "A Formal Treatment of End-to-End Encrypted Cloud Storage". to appear at Crypto 2024 (blog post, pub, pdf)
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". to appear at USENIX 2024 (blog post, pub, pdf)
Sharon Goldberg, Miro Haller, Nadia Heninger, Mike Milano, Dan Shumow, Marc Stevens, Adam Suhl. 2024. "RADIUS/UDP considered harmful". to appear at USENIX 2024 (blog post, pub, pdf)
Alex Bellon, Miro Haller*, Andrey Labunets, Enze Liu, and Stefan Savage. 2024. "An Empirical Analysis on the Use and Reporting of National Security Letters." preprint (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. (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)