Mang Zhao

According to our database, Mang Zhao authored at least 9 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420.

Cas Cremers, Esra Günsay, Vera Wesselkamp, Mang Zhao

Proceedings of the Advances in Cryptology - EUROCRYPT 2026, 2026

2024

An Extended Hierarchy of Security Notions for Threshold Signature Schemes and Automated Analysis of Protocols That Use Them.

Cas Cremers, Aleksi Peltonen, Mang Zhao

IACR Cryptol. ePrint Arch., 2024

Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption.

Cas Cremers, Mang Zhao

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements.

Cas Cremers, Eyal Ronen, Mang Zhao

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

Provable security and real-world protocols: theory and practice.

Mang Zhao

PhD thesis, 2023

Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.

Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao

Proceedings of the 32nd USENIX Security Symposium, 2023

FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation.

Nina Bindel, Cas Cremers, Mang Zhao

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption.

Cas Cremers, Mang Zhao

IACR Cryptol. ePrint Arch., 2022

2021

The Provable Security of Ed25519: Theory and Practice.

Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021