My research interests are in the intersection of applied cryptography, system security, and privacy. I’m excited about using mathematical techniques for cryptanalysis. I leverage attacks to identify the root causes of cryptography failures in practice, and then build or improve systems to address these failures.
I’m fortunate to work with many amazing people including my PhD advisor @ UC San Diego Nadia Heninger, Kenny Paterson, Matilda Backendal, and many other outstanding internal and external collaborators.
Selected Publications
- 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 (link)
- Sharon Goldberg, Miro Haller*, Nadia Heninger*, Mike Milano, Dan Shumow, Marc Stevens, Adam Suhl*. (2024). "RADIUS/UDP considered harmful". USENIX Security 2024 (link)
- Matilda Backendal, Miro Haller* and Kenneth G. Paterson. (2023). "MEGA: Malleable Encryption Goes Awry". IEEE S&P 2023. (link) 🏆 Distinguished Paper Award 🏆
Selected talks
Blast-RADIUS: Breaking Enterprise Authentication
Blast-RADIUS is a vulnerability that affects the RADIUS protocol, the de-facto standard protocol for enterprise authentication used in various places from Internet backbone routers to industrial control systems.
MoreA Formal Treatment of End-to-End Encrypted Cloud Storage
We present a formal syntax and security notions for end-to-end encrypted cloud storage and design the first, provably secure protocol for this widespread application.
MoreSelected Achievements
Google PhD Fellowship 2024.
Distinguished paper award at IEEE S&P 2023.
ETH Medal: Award for outstanding master’s thesis at ETH Zurich.