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
the join-calculus (INRIA)
Contact
Internships in Cambridge
