Mang Zhao

13 papers A* 5Journal 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420.
IACR Cryptol. ePrint Arch.
Cas Cremers, Esra Günsay, Vera Wesselkamp, Mang Zhao
2024 J jnl
An Extended Hierarchy of Security Notions for Threshold Signature Schemes and Automated Analysis of Protocols That Use Them.
IACR Cryptol. ePrint Arch.
Cas Cremers, Aleksi Peltonen, Mang Zhao
2024 A* conf
Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements.
SP
Cas Cremers, Eyal Ronen, Mang Zhao
2024 A* conf
Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption.
SP
Cas Cremers, Mang Zhao
2023 A* conf
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.
USENIX Security Symposium
Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
2023 J jnl
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.
IACR Cryptol. ePrint Arch.
Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
2023 A* conf
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation.
SP
Nina Bindel, Cas Cremers, Mang Zhao
2023 J jnl
Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements.
IACR Cryptol. ePrint Arch.
Cas Cremers, Eyal Ronen, Mang Zhao
2023 — —
Provable security and real-world protocols: theory and practice.
Mang Zhao
2022 J jnl
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation.
IACR Cryptol. ePrint Arch.
Nina Bindel, Cas Cremers, Mang Zhao
2022 J jnl
Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption.
IACR Cryptol. ePrint Arch.
Cas Cremers, Mang Zhao
2021 A* conf
The Provable Security of Ed25519: Theory and Practice.
SP
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
2020 J jnl
The Provable Security of Ed25519: Theory and Practice.
IACR Cryptol. ePrint Arch.
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao