Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. / Bhargavan, Karthikeyan; Corin, Ricardo; Denielou, Pierre-Malo; Fournet, Cedric; Leifer, James J.

PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM. LOS ALAMITOS : IEEE COMPUTER SOC, 2009. p. 124-140.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationPROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM
Place of PublicationLOS ALAMITOS
PublisherIEEE COMPUTER SOC
Pages124-140
Number of pages17
ISBN (Print)978-0-7695-3712-2
DOIs
Publication statusPublished - 2009
Event22nd IEEE Computer Security Foundations Symposium - Port Jefferson
Duration: 8 Jul 200910 Jul 2009

Conference

Conference22nd IEEE Computer Security Foundations Symposium
CityPort Jefferson
Period8/07/0910/07/09
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7670007