Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend. - Ivan Puddu; Moritz Schneider 001; Miro Haller; Srdjan Capkun (USENIX Security Symposium, 2021)

HECO: Automatic Code Optimizations for Efficient Fully Homomorphic Encryption. - Alexander Viand; Patrick Jattke; Miro Haller; Anwar Hithnawi (CoRR, 2022)

Caveat Implementor! Key Recovery Attacks on MEGA. - Martin R. Albrecht; Miro Haller; Lenka Mareková; Kenneth G. Paterson (EUROCRYPT (5), 2023)

MEGA: Malleable Encryption Goes Awry. - Matilda Backendal; Miro Haller; Kenneth G. Paterson (SP, 2023)

HECO: Fully Homomorphic Encryption Compiler. - Alexander Viand; Patrick Jattke; Miro Haller; Anwar Hithnawi (USENIX Security Symposium, 2023)

A Formal Treatment of End-to-End Encrypted Cloud Storage. - Matilda Backendal; Hannah Davis; Felix Günther 001; Miro Haller; Kenneth G. Paterson (CRYPTO (2), 2024)

RADIUS/UDP Considered Harmful. - Sharon Goldberg; Miro Haller; Nadia Heninger; Mike Milano; Dan Shumow; Marc Stevens 001; Adam Suhl (USENIX Security Symposium, 2024)

MFKDF: Multiple Factors Knocked Down Flat. - Matteo Scarlata; Matilda Backendal; Miro Haller (USENIX Security Symposium, 2024)

End-to-End Encrypted Cloud Storage. - Matilda Backendal; Miro Haller; Kenny Paterson (IEEE Secur. Priv., 2024)

An Empirical Analysis on the Use and Reporting of National Security Letters. - Alex Bellon; Miro Haller; Andrey Labunets; Enze Liu 001; Stefan Savage (CSLAW, 2025)

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

Group Key Progression: Strong Security for Shared Persistent Data. - Matilda Backendal; David Balbás; Miro Haller (IACR Cryptol. ePrint Arch., 2025)