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

Hi, I just completed my Ph.D. study and am looking for jobs afterwards. If you have any suitable positions for me, please contact me mang.zhao@hotmail.com.

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