Publications

Publications are sorted in reverse order of publication. Stars (*) mark the first author(s).

Papers

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)

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)

Articles

M. Backendal, M. Haller, K. G. Paterson, "End-to-End Encrypted Cloud Storage" to appear in IEEE Security & Privacy, vol. 22, no. 2, March.-April. 2024, doi: 10.1109/MSEC.2024.3352788 (blog post, pub, pdf)