My research concerns the theory, design, and implementation of modern programming language features and formal verification techniques. My recent work focuses on using formal methods to investigate the (in)security of distributed applications such as cryptographic protocols.

Publications: A complete list of my publications with download links can be found over on this page. A version with more details is on this other page.

Projects: CRYSP, Cryptographic Verification Kit, Refinement Types for F#, Secure Multi-party Sessions, Web Services Security

Grants: ERC Starting Grant 2010: CRYSP: Collaborative Cryptographic Security Proofs for Programs

Software: F*, F7, FS2PV, FS2CV, S2ML, TulaFale

News:

1. •[Offers] Summer and masters' internships (stages) 2012: Topics [1,2,3].
   To apply, email me with your CV.
   

2. •[Offers] Ph.D studentships, and post-docs available in the CRYSP project. To apply, email me with your CV and references.
   

3. •[Paper] Secure Distributed Programming with Value-dependent Types, with N. Swamy, J. Chen, C. Fournet, P-Y. Strub, and J. Yang. 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), September 2011.