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 🏆

Click here for all publications…

Selected Achievements

Click here for the full CV