CV

Research Interests

My research interests are in the intersection of applied cryptography, system security, and privacy. I am 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.

Education

• MSc ETH Zurich – EPF Lausanne in Computer Science Major in Cyber Security (short: MSc ETH EPF CS)
• BSc ETH Zurich in Computer Science (short: BSc ETH CS)

Ongoing:

• PhD at UCSD advised by Nadia Heninger (Fall 2022 - today)

Publications

Papers published in peer-reviewed proceedings:

• 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
• Matteo Scarlata*, Matilda Backendal, Miro Haller. 2024. "MFKDF: Multiple Factors Knocked Down Flat". to appear at USENIX 2024
• Sharon Goldberg, Miro Haller, Nadia Heninger, Mike Milano, Dan Shumow, Marc Stevens, Adam Suhl. 2024. "RADIUS/UDP considered harmful". to appear at USENIX 2024
• Alexander Viand*, Patrick Jattke, Miro Haller, Anwar Hithnawi. (2023). "HECO: Fully Homomorphic Encryption Compiler" USENIX Security 2023.
• Martin R. Albrecht, Miro Haller, Lenka Mareková*, Kenneth G. Paterson. (2023). "Caveat Implementor! Key Recovery Attacks on MEGA" Eurocrypt 2023.
• Matilda Backendal, Miro Haller* and Kenneth G. Paterson. (2023). "MEGA: Malleable Encryption Goes Awry" IEEE S&P 2023.
• Ivan Puddu*, Moritz Schneider, Miro Haller, Srdjan Čapkun. (2021). "Frontal Attack: Leaking Control-​Flow in SGX via the CPU Frontend" USENIX Security 2021.

Unreviewed/pre-print papers:

• 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

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

*first author(s)

Talks

• A Formal Treatment of End-to-End Encrypted Cloud Storage
  • Crypto 2024
  • Berkeley Security Seminar
  • Trails of Bits
  • UMD Crypto Reading Group
• The Blast-RADIUS attack
  • IETF Meeting 120
  • UCSD Security Seminar
• MFKDF: Multiple Factors Knocked Down Flat
  • UCSD Sysnet Seminar
• Thriving in between theory and practice: How applied cryptography bridges the gap
  • Crypto Reading Club at NIST
  • Zurich Information Security & Privacy Center at ETH Zurich
• Key Overwriting Attacks
  • MIT CSAIL
• CSE 207b: Key Overwriting Attacks
  • CSE207b Lecture
• MEGA: Malleable Encryption Goes Awry
  • IEEE Security and Privacy 2023
  • Brave Research Group
• Why E2EE Cloud Storage is hard - Challenges, Attacks and Best Practices
  • RealWorldCrypto 2023
  • Theory Seminar at UCSD
  • CNS Research Review at UCSD
• Climbing the Hacking /mnt/ain
  • Swiss Cyber Storm Conference
• Revisiting Microarchitectural Side-Channels
  • Security and Cryptography Laboratory (LASEC), EPFL
• SGX Accurate Time Measurements
  • System Security Group ETH Zurich

Academic Service

• Organizing the Cryptographic Applications Workshop (CAW) at Eurocrypt 2024
• Organizing the Workshop on Attacks in Cryptography 6 (WAC6) at CRYPTO 2023

Professional experience

• Research assisstant at the Privacy Preserving Systems Lab of ETH Zurich
  • Content valuating and improving Fully Homomorphic Encryption (FHE) tool support
• Intern at DSwiss AG (2016)
  • Adapting and extending automated server configurations, load and performance testing, E2E tests, replacing the company’s telephone system.

Achievements

• Distinguished paper award at IEEE S&P 2023.
• ETH Medal: Award for outstanding master’s thesis.
• Global Young Scientist Summit 2022: Nomination as ETH representative for the CS department.
• European Cyber Security Challenge: triple qualification for the Swiss National Team (2016, 2017, 2019), and team coach (2021, 2022)
• SwissSkills Expert: Expert for the Cyber Security Trait of the Swiss national championship for professions in 2022 and 2023.
• ISSS Excellence Award: Award for the best thesis in the field of information security in Switzerland in 2022.
• ICON: achieved first place with the team “sw1ss” in the 2018 final
• Swiss Olympiads of Informatics: double participation (2014, 2015)
• Best high school graduate of the year 2015 from the Neue Kantonsschule Aarau.