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

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-ens.fr (remove trap-)