Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer. Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. In Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009. pages 124-140, IEEE Computer Society, 2009. [doi]
Abstract is missing.