Authors are listed in alphabetical order by default, following the convention in cryptography worldwide.

However, authors are listed by contribution in the works that I collaborate with other Chinese authors, following the convention and policy in the Chinese Crypto community.

• Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements
  Cas Cremers, Eyal Ronen, and Mang Zhao
  IEEE Symposium on Security and Privacy (IEEE S&P), 2024.
  [eprint]

• Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption
  Cas Cremers and Mang Zhao
  IEEE Symposium on Security and Privacy (IEEE S&P), 2024.
  [eprint]

• Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security
  Cas Cremers, Alexander Dax, Charlie Jacomme, and Mang Zhao (Distinguished Paper Award)
  USENIX Security Symposium (USENIX), 2023.
  [eprint]

• FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation
  Nina Bindel, Cas Cremers, and Mang Zhao
  IEEE Symposium on Security and Privacy (IEEE S&P), 2023.
  [eprint]

• The Provable Security of Ed25519: Theory and Practice
  Jacqueline Brendel, Cas Cremers, Dennis Jackson, and Mang Zhao
  IEEE Symposium on Security and Privacy (IEEE S&P), 2021.
  [eprint]

• Factorization of Frieze Patterns
  Moritz Weber and Mang Zhao
  (Journal) Revista de la Union Matematica Argentina, Vol. 60 (2), 407-415, 2019
  [Journal] [arXiv]