Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Denielou, Cedric Fournet, James J. Leifer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM
Place of Publication	LOS ALAMITOS
Publisher	IEEE COMPUTER SOC
Pages	124-140
Number of pages	17
ISBN (Print)	978-0-7695-3712-2
DOIs	https://doi.org/http://doi.ieeecomputersociety.org/10.1109/CSF.2009.26
Publication status	Published - 2009
Event	22nd IEEE Computer Security Foundations Symposium - Port Jefferson Duration: 8 Jul 2009 → 10 Jul 2009

Conference	22nd IEEE Computer Security Foundations Symposium
City	Port Jefferson
Period	8/07/09 → 10/07/09

Access to Document

@inproceedings{27dd3acd21984f01a0551da53a8b2b99,

title = "Cryptographic Protocol Synthesis and Verification for Multiparty Sessions",

author = "Karthikeyan Bhargavan and Ricardo Corin and Pierre-Malo Denielou and Cedric Fournet and Leifer, {James J.}",

year = "2009",

doi = "http://doi.ieeecomputersociety.org/10.1109/CSF.2009.26",

language = "English",

isbn = "978-0-7695-3712-2",

pages = "124--140",

booktitle = "PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM",

publisher = "IEEE COMPUTER SOC",

note = "22nd IEEE Computer Security Foundations Symposium ; Conference date: 08-07-2009 Through 10-07-2009",

}

Bhargavan, K, Corin, R, Denielou, P-M, Fournet, C & Leifer, JJ 2009, Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. in PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM. IEEE COMPUTER SOC, LOS ALAMITOS, pp. 124-140, 22nd IEEE Computer Security Foundations Symposium, Port Jefferson, 8/07/09. https://doi.org/http://doi.ieeecomputersociety.org/10.1109/CSF.2009.26

TY - GEN

T1 - Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

AU - Bhargavan, Karthikeyan

AU - Corin, Ricardo

AU - Denielou, Pierre-Malo

AU - Fournet, Cedric

AU - Leifer, James J.

PY - 2009

Y1 - 2009

U2 - http://doi.ieeecomputersociety.org/10.1109/CSF.2009.26

DO - http://doi.ieeecomputersociety.org/10.1109/CSF.2009.26

M3 - Conference contribution

SN - 978-0-7695-3712-2

SP - 124

EP - 140

BT - PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM

PB - IEEE COMPUTER SOC

CY - LOS ALAMITOS

T2 - 22nd IEEE Computer Security Foundations Symposium

Y2 - 8 July 2009 through 10 July 2009

ER -