Thèse / PhD Thesis
Université Paris VII Denis Diderot - UFR d'Informatique
Soutenance
Le 25/01/2010 à 14h30 en salle 0C8 de Chevaleret.
Manuscrit
Références:
- Cryptographic Protocol Synthesis and Verification for Multiparty
Sessions [ pdf
] with Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and
James Leifer,
22nd IEEE Computer Security Foundations Symposium (CSF22), July 2009
- A Secure Compiler for Session Abstractions [ pdf
] with Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and
James Leifer, Journal of Computer Security, 2008-11-19, p. 573-636.
- A protocol compiler for secure sessions in ML [ pdf
] with Ricardo Corin TGC'07
- Secure Implementations for Typed Session Abstractions [ pdf
] with Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and
James Leifer, 20th IEEE Computer Security Foundations Symposium (CSF20), pp 170--186. July 2007
- Abstraction Preservation and Subtyping in Distributed Languages [
pdf
] with James
J. Leifer, Proc. ICFP 2006