Modular verification of security protocol code by typing (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Reference:
Modular verification of security protocol code by typing (Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon), In 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'10), 2010.
Bibtex Entry:
@inproceedings{BhargavanFG10,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Andrew D. Gordon},
  title     = {Modular verification of security protocol code by typing},
  booktitle = {37th ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages (POPL'10)},
  year      = {2010},
  pages     = {445-456},
pdf="pubs/modular-verification-of-security-protocols-by-typing-popl10.pdf",
url="pubs/modular-verification-of-security-protocols-by-typing-popl10.pdf",

}