CryptoVerif: A Computationally Sound Mechanized Prover for Cryptographic Protocols (bibtex)
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}
}
Powered by bibtexbrowser