Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Miro Haller

dblp:266/1494 · DBLP profile ↗
← Back
8ranked-venue papers
0as first author
8since 2021 · last 2026
0000-0001-8796-5064ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 8 · 8 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
8 papers
Cryptographic protocols and secure computation · 36% Cryptographic primitives and cryptanalysis · 27% Authentication and access control · 19%
Computer architecture, parallel and distributed computing, and storage systems
3 papers
Cloud and datacenter computing · 92% Processor architecture and microarchitecture · 8%
Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 100%

Topics — the 14 heaviest of 19, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation › key exchange
group key agreement
1.012026
Group Key Progression: Strong Security for Shared Persistent Data · EUROCRYPT (2) 2026
Authentication and access control › authentication
authentication protocols
0.812024
RADIUS/UDP Considered Harmful · USENIX Security Symposium 2024
Cryptographic protocols and secure computation › secure messaging
end-to-end encryption
0.812024
A Formal Treatment of End-to-End Encrypted Cloud Storage · CRYPTO (2) 2024
Cryptographic primitives and cryptanalysis › key generation
key derivation
0.812024
MFKDF: Multiple Factors Knocked Down Flat · USENIX Security Symposium 2024
Authentication and access control
multi-factor authentication
0.812024
MFKDF: Multiple Factors Knocked Down Flat · USENIX Security Symposium 2024
Cloud and datacenter computing
cloud storage
0.812024
A Formal Treatment of End-to-End Encrypted Cloud Storage · CRYPTO (2) 2024
Cloud and datacenter computing › cloud storage
encrypted cloud storage
0.812024
A Formal Treatment of End-to-End Encrypted Cloud Storage · CRYPTO (2) 2024
Cryptographic primitives and cryptanalysis › homomorphic encryption
fully homomorphic encryption
0.712023
HECO: Fully Homomorphic Encryption Compiler · USENIX Security Symposium 2023
Cryptographic primitives and cryptanalysis › cryptanalysis
key recovery attack
0.712023
Caveat Implementor! Key Recovery Attacks on MEGA · EUROCRYPT (5) 2023
Hardware security and side channels
side-channel attack
0.512021
Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend · USENIX Security Symposium 2021
Cryptographic protocols and secure computation
key management
0.212024
MFKDF: Multiple Factors Knocked Down Flat · USENIX Security Symposium 2024
Network security › protocol security
protocol vulnerabilities
0.212024
RADIUS/UDP Considered Harmful · USENIX Security Symposium 2024
Cryptographic protocols and secure computation
key exchange
0.212023
Caveat Implementor! Key Recovery Attacks on MEGA · EUROCRYPT (5) 2023
Cloud and datacenter computing › cloud storage
secure cloud storage
0.212023
MEGA: Malleable Encryption Goes Awry · SP 2023

Methods — techniques the papers use, named apart from their topics

cryptanalysis · 2.0formal security model · 1.5composable security · 1.5proof-of-concept implementation · 1.3threshold cryptography · 0.8key derivation function · 0.8
YearPublicationVenuePosition
2026 Group Key Progression: Strong Security for Shared Persistent Data
Matilda Backendal, David Balbás, Miro Haller
EUROCRYPT (2)3
2024 A Formal Treatment of End-to-End Encrypted Cloud Storage
Matilda Backendal, Hannah Davis, Felix Günther 0001, Miro Haller, Kenneth G. Paterson
CRYPTO (2)4
2024 RADIUS/UDP Considered Harmful
Sharon Goldberg, Miro Haller, Nadia Heninger, Mike Milano, Daniel Shumow, Marc Stevens 0001, Adam Suhl
USENIX Security Symposium2
2024 MFKDF: Multiple Factors Knocked Down Flat
Matteo Scarlata, Matilda Backendal, Miro Haller
USENIX Security Symposium3
2023 Caveat Implementor! Key Recovery Attacks on MEGA
Martin R. Albrecht, Miro Haller, Lenka Mareková, Kenneth G. Paterson
EUROCRYPT (5)2
2023 MEGA: Malleable Encryption Goes Awry
abstract
MEGA is a leading cloud storage platform with more than 250 million users and 1000 Petabytes of stored data. MEGA claims to offer user-controlled, end-to-end security. This is achieved by having all data encryption and decryption operations done on MEGA clients, under the control of keys that are only available to those clients. This is intended to protect MEGA users from attacks by MEGA itself, or by adversaries who have taken control of MEGA’s infrastructure.We provide a detailed analysis of MEGA’s use of cryptography in such a malicious server setting. We present five distinct attacks against MEGA, which together allow for a full compromise of the confidentiality of user files. Additionally, the integrity of user data is damaged to the extent that an attacker can insert malicious files of their choice which pass all authenticity checks of the client. We built proof-of-concept versions of all the attacks. Four of the five attacks are eminently practical. They have all been responsibly disclosed to MEGA and remediation is underway.Taken together, our attacks highlight significant shortcomings in MEGA’s cryptographic architecture. We present immediately deployable countermeasures, as well as longer-term recommendations. We also provide a broader discussion of the challenges of cryptographic deployment at massive scale under strong threat models.
Matilda Backendal, Miro Haller, Kenneth G. Paterson
SP2
2023 HECO: Fully Homomorphic Encryption Compiler
Alexander Viand, Patrick Jattke, Miro Haller, Anwar Hithnawi
USENIX Security Symposium3
2021 Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend
Ivan Puddu, Moritz Schneider 0001, Miro Haller, Srdjan Capkun
USENIX Security Symposium3