University of Tartu - ©2011 Rafik Chaabouni - Last update: 05.12.2012 17:35
Date: 09/11/2011 Location: J. Liivi 2, room 317 (next to the coffee room)
Speaker: Liina Kamm
Title: Protocol Proving with CryptoVerif Slides: kamm-rg-cryptoverif
Abstract:
As most of you know, we are working on a prover tool to aid the user in proving cryptographic protocols. To better understand the field of computer-aided cryptographic protocol proving, I decided to look into one of the strongest prover tools out there---CryptoVerif. In this talk, I give an overview of this tool, what its advantages and drawbacks are. My talk is mainly based on the article "A Computationally Sound Mechanized Prover for Security Protocols" by Bruno Blanchet and using the application itself.
Ref: Blanchet, B. A Computationally Sound Mechanized Prover for Security Protocols. IEEE Transactions on Dependable and Secure Computing, 2008, 5, 193-207