Mang Zhao

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany


According to our database1, Mang Zhao authored at least 8 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An Extended Hierarchy of Security Notions for Threshold Signature Schemes and Automated Analysis of Protocols That Use Them.
IACR Cryptol. ePrint Arch., 2024

Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption.
Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023
Provable security and real-world protocols: theory and practice.
PhD thesis, 2023

Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements.
IACR Cryptol. ePrint Arch., 2023

Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.
IACR Cryptol. ePrint Arch., 2023

2022
Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption.
IACR Cryptol. ePrint Arch., 2022

FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation.
IACR Cryptol. ePrint Arch., 2022

2020
The Provable Security of Ed25519: Theory and Practice.
IACR Cryptol. ePrint Arch., 2020


  Loading...