An Interactive Prover for Protocol Verification in the Computational Model

David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
April 2021
PDF Slides Long version
Type
Conference paper
Publication
IEEE Symposium on Security and Privacy, S&P 2021, San Fransisco / Virtual, United States