Mang Zhao

“以一生一世来铸就的事业，非旁人能理解，寂寞必然，浪漫也必然，因为爱足以遮蔽一切艰辛。如果仍觉艰辛，那就是爱得不够。”——小思《一瓦之缘》

Mang Zhao

I just completed my Ph.D. study in Computer Science at CISPA Helmholtz Center for Information Security and Saarland University, supervised by Prof. Dr. Cas Cremers. Previously, I obtained my Bachelor’s degree in Mathematics and Computer Science from Saarland University, supervised by Prof. Dr. Moritz Weber.

News

My academic genealogy can be found on the Mathematics Genealogy Project, see here. It includes many distinguished mathematicians and scientists in history, e.g., Joseph Louis Lagrange, Pierre-Simon Laplace, Gottfried Wilhelm Leibniz, Leonhard Euler, Johann Bernoulli, and Jacob Bernoulli. Notably, I am the ninth graduate under the supervision of Prof. Dr. Cas Cremers.

Research Interests

• Cryptographic Analysis of Protocols
• Key Exchange and Secure Messaging

Publications

(authors are listed in alphabetical order, which is the convention in our field.)

• 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]

Academic Activities

• PC: ACM CCS 2024
• Reviewer: IEEE/ACM ToN 2024, IEEE TIFS 2025
• External-/ Sub-Reviewer: ACM CCS 2022, CSF 2021, IEEE S&P 2021, IEEE S&P 2022
• Teaching
  • Teaching Assistant, Secure Messaging at Saarland University, WS 2019/2020
  • Teaching Assistant, Bachelor- and Master Seminar at Saarland University, SS 2022 - SS 2024

Experiences

• Microsoft Identity Project: Developing Post-Quantum Secure Identity Services. Researchers: Dr. Nina Bindel, Dr. Jacqueline Brendel, Prof. Dr. Cas Cremers, Mang Zhao

Powered by Jekyll and Minimal Light theme.