Research
Interests
I am interested in giving to programmers language tools such as new primitives,
type systems, compilers, etc., that make it easier to write robust, safe and
secure distributed programs and, at the same time, provide strong (formal)
guarantees about the resulting code (distributed type safety and enforcement of
security properties).
Keywords: Programming languages, semantics, type systems, concurrency,
language-based security, mechanized proofs.
Co-authors: Karthik
Bhargavan, Ricardo
Corin, Cédric
Fournet, James
J. Leifer, Nobuko Yoshida.
Publications
A complete list can be found on DBLP.
ICALP 2013. Joint work with Nobuko Yoshida.
ESOP'12, joint work with Nobuko Yoshida.
CONCUR'10, joint work with Nobuko Yoshida.
CSF'09, Joint work with Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and James Leifer.
In Journal of Computer Security, 2008-11-19, p. 573-636, joint work with Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and James Leifer.
In G. Barthe and C. Fournet, editors, TGC'07, Sophia Antipolis, France, Lecture Notes in Computer Science, Springer Verlag, November 2007. Joint work with Ricardo Corin.
20th IEEE Computer Security Foundations Symposium (CSF20), pp 170--186. July 2007. Joint work with Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, and James Leifer.
ICFP 2006. Joint work with James Leifer.