by Bruno Blanchet
Reference:
CryptoVerif: A Computationally Sound Mechanized Prover for Cryptographic Protocols (Bruno Blanchet), In Dagstuhl seminar "Formal Protocol Verification Applied", 2007.
Bibtex Entry:
@InProceedings{BlanchetDagstuhl07,
author = {Bruno Blanchet},
title = {Crypto{V}erif: A Computationally Sound Mechanized Prover for Cryptographic Protocols},
booktitle = {Dagstuhl seminar "Formal Protocol Verification Applied"},
year = 2007,
month = oct,
url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetDagstuhl07.html}
}