Mang Zhao

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Automated Analysis

Quantum Inspired

Key Distribution

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Nina Bindel, Cas Cremers, Mang Zhao
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. SP (2023)
Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. IACR Cryptol. ePrint Arch. 2023 (2023)
Cas Cremers, Eyal Ronen, Mang Zhao
Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements. IACR Cryptol. ePrint Arch. 2023 (2023)
Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. USENIX Security Symposium (2023)
Cas Cremers, Mang Zhao
Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption. IACR Cryptol. ePrint Arch. 2022 (2022)
Nina Bindel, Cas Cremers, Mang Zhao
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. IACR Cryptol. ePrint Arch. 2022 (2022)
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
The Provable Security of Ed25519: Theory and Practice. IEEE Symposium on Security and Privacy (2021)
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
The Provable Security of Ed25519: Theory and Practice. IACR Cryptol. ePrint Arch. 2020 (2020)