Cryptographic Protocol Synthesis and Verification for Multiparty Sessions (bibtex)
by Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer
Reference:
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions (Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer), In 22nd IEEE Computer Security Foundations Symposium (CSF-22), 2009.
Bibtex Entry:
@inproceedings{BhargavanCDFL09,
  author    = {Karthikeyan Bhargavan and
               Ricardo Corin and
               Pierre-Malo Deni{\'e}lou and
               C{\'e}dric Fournet and
               James J. Leifer},
  title     = {Cryptographic Protocol Synthesis and Verification for Multiparty
               Sessions},
  booktitle = {22nd IEEE Computer Security Foundations
               Symposium (CSF-22)},
  year      = {2009},
  pages     = {124-140},
pdf="pubs/cryptographic-protocol-synthesis-and-verification-for-multiparty-sessions-csf09.pdf",
url="pubs/cryptographic-protocol-synthesis-and-verification-for-multiparty-sessions-csf09.pdf",
}