BlanchetJaggardRaoScedrovTsayFCC09

Bruno Blanchet Back to publications

Bruno Blanchet, Aaron D. Jaggard, Jesse Rao, Andre Scedrov, and Joe-Kai Tsay. Refining Computationally Sound Mechanized Proofs for Kerberos. In Workshop on Formal and Computational Cryptography (FCC 2009), Port Jefferson, NY, July 2009.

Get the paper

.pdf, 109 Kb

Links

CryptoVerif scripts available at http://cryptoverif.inria.fr/kerberos/

Bibtex


@INPROCEEDINGS{BlanchetJaggardRaoScedrovTsayFCC09,
  AUTHOR = {Bruno Blanchet and Aaron D. Jaggard and Jesse Rao and Andre Scedrov and Joe-Kai Tsay},
  TITLE = {Refining Computationally Sound Mechanized Proofs for {K}erberos},
  BOOKTITLE = {Workshop on Formal and Computational Cryptography
(FCC 2009)},
  YEAR = 2009,
  ADDRESS = {Port Jefferson, NY},
  MONTH = JUL
}

E-mail/Courrier électronique : Bruno.Blanchet@trap-inria.fr (remove trap-)