Miro Haller

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Formal Treatment

Encryption Algorithm

Top Venues

USENIX Security Symposium

IACR Cryptol. ePrint Arch.

Publications

Matilda Backendal, Hannah Davis, Felix Günther, Miro Haller, Kenneth G. Paterson
A Formal Treatment of End-to-End Encrypted Cloud Storage. IACR Cryptol. ePrint Arch. 2024 (2024)
Matteo Scarlata, Matilda Backendal, Miro Haller
MFKDF: Multiple Factors Knocked Down Flat. USENIX Security Symposium (2024)
Matteo Scarlata, Matilda Backendal, Miro Haller
MFKDF: Multiple Factors Knocked Down Flat. IACR Cryptol. ePrint Arch. 2024 (2024)
Alex Bellon, Miro Haller, Andrey Labunets, Enze Liu, Stefan Savage
An Empirical Analysis on the Use and Reporting of National Security Letters. CoRR (2024)
Matilda Backendal, Hannah Davis, Felix Günther, Miro Haller, Kenneth G. Paterson
A Formal Treatment of End-to-End Encrypted Cloud Storage. CRYPTO (2) (2024)
Sharon Goldberg, Miro Haller, Nadia Heninger, Mike Milano, Dan Shumow, Marc Stevens, Adam Suhl
RADIUS/UDP Considered Harmful. USENIX Security Symposium (2024)
Matilda Backendal, Miro Haller, Kenny Paterson
End-to-End Encrypted Cloud Storage. IEEE Secur. Priv. 22 (2) (2024)
Martin R. Albrecht, Miro Haller, Lenka Mareková, Kenneth G. Paterson
Caveat Implementor! Key Recovery Attacks on MEGA. EUROCRYPT (5) (2023)
Matilda Backendal, Miro Haller, Kenneth G. Paterson
MEGA: Malleable Encryption Goes Awry. SP (2023)
Martin R. Albrecht, Miro Haller, Lenka Mareková, Kenneth G. Paterson
Caveat Implementor! Key Recovery Attacks on MEGA. IACR Cryptol. ePrint Arch. 2023 (2023)
Alexander Viand, Patrick Jattke, Miro Haller, Anwar Hithnawi
HECO: Fully Homomorphic Encryption Compiler. USENIX Security Symposium (2023)
Alexander Viand, Patrick Jattke, Miro Haller, Anwar Hithnawi
HECO: Automatic Code Optimizations for Efficient Fully Homomorphic Encryption. CoRR (2022)
Matilda Backendal, Miro Haller, Kenneth G. Paterson
MEGA: Malleable Encryption Goes Awry. IACR Cryptol. ePrint Arch. 2022 (2022)
Ivan Puddu, Moritz Schneider, Miro Haller, Srdjan Capkun
Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend. USENIX Security Symposium (2021)
Ivan Puddu, Moritz Schneider, Miro Haller, Srdjan Capkun
Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend. CoRR (2020)