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]