Automating Compositional Analysis of Authentication Protocols.

Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu

Browse the full FMCAD paper archive.