Steve Kremer: Formal Verification of Cryptographic Protocols

Formal Verification of Cryptographic Protocols

Steve Kremer. Formal Verification of Cryptographic Protocols. Invited tutorial, 7th School on Modelling and Verifying Parallel Processes (MOVEP'06), Bordeaux, France, June 2006. 5 pages.

Download

[PDF]

Abstract

(unavailable)

BibTeX

@misc{kremer-movep2006,
  author =        {Kremer, Steve},
  howpublished =  {Invited tutorial, 7th {S}chool on {M}odelling and
                   {V}erifying {P}arallel {P}rocesses ({MOVEP}'06),
                   Bordeaux, France},
  month =         jun,
  note =          {5~pages},
  title =         {Formal Verification of Cryptographic Protocols},
  year =          {2006},
  nmonth =        {6},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/kremer-movep06.pdf},
}