Publications

Filters: Author is James J. Leifer  [Clear All Filters]
2009
K. Bhargavan, Corin, R., Deniélou, P. - M., Fournet, C., and Leifer, J. J., “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, 2009, pp. 124-140.PDF icon paper-188.pdf (512.93 KB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054