Cryptographic Verification by Typing for a Sample Protocol Implementation (bibtex)
by Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon
Reference:
Cryptographic Verification by Typing for a Sample Protocol Implementation (Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon), In Foundations of Security Analysis and Design VI (FOSAD'10), 2011.
Bibtex Entry:
@inproceedings{FournetBG10,
  author    = {C{\'e}dric Fournet and
               Karthikeyan Bhargavan and
               Andrew D. Gordon},
  title     = {Cryptographic Verification by Typing for a Sample Protocol
               Implementation},
  booktitle = {Foundations of Security Analysis and Design VI (FOSAD'10)},
  year      = {2011},
  pages     = {66-100},
PDF ={pubs/cryptographic_verification_fosad10.pdf},
URL ={pubs/cryptographic_verification_fosad10.pdf},
}