CÚdric Fournet

Papers

Microsoft Research/
Cambridge/Programming Principles and Tools

MSR-INRIA Joint Centre/
Secure Distributed Computations

F7: refinement types for F#

CFLOW: cryptographic compilers for information flows

MPRI lectures

SecPAL

Samoa: formal tools for securing web services

Zing

and Polyphonic C#

the join-calculus (INRIA)

Contact

Internships in Cambridge