Zichao Zhang 张子超

Ph.D. Candidate

Electrical and Computer Engineering
Carnegie Mellon University

4720 Forbes Avenue
Carnegie Mellon University
Pittsburgh, PA 15213
Office: CIC Building 2219E
Email: zichaoz at andrew dot cmu dot edu
This site is currently under construction...


Greetings, I'm a third-year Ph.D. student in Electrical and Computer Engineering at Carnegie Mellon University.


Automating Compositional Analysis of Authentication Protocols.

Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia and Corina Pasareanu.
In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pages 113--118. IEEE, 2020. [PDF]

Last Updated on December 13, 2021
Copyright © Zichao Zhang