Cédric Fournet

I am interested in concurrent programming, distributed systems, and security. I am a member of the Programming Principles and Tools group at Microsoft Research in Cambridge, UK.

My recent research subjects include secure implementations of communication abstractions, access control for mobile code, concurrency in C#, authorization policies, private authentication, and the verification of cryptographic protocols for Internet security and Web Services security.

I joined Microsoft Research in 1998. Before that, I graduated from Ecole Polytechnique in 1992, worked for a year on deductive databases at BULL, obtained a second engineering degree from Ecole Nationale des Ponts et Chaussées in 1995, then did a PhD in computer science at INRIA Rocquencourt. In this PhD, I applied some concurrency theory to model distributed programming: I proposed a variant of the pi calculus as the core of a distributed programming language. I used this calculus to model the behavior of programs and implementations, in particular agent-based mobility, partial failure, and security. I also wrote the distributed runtime for a prototype implementation of the language.

Events (future, recent, and not so recent)

• Third Symposium on Trustworthy Global Computing (TGC 2007). Sophia-Antipolis, 5-6 November 2007. Abstract submission deadline: July 27.
• 12th Nordic Workshop on Secure IT Systems (NordSec'07), Reykjavik, 11-12 October 2007.
• 34th International Colloquium on Automata, Languages and Programming (ICALP 2007), Wroclaw, 9-13 July 2007.
• 20th IEEE Computer Security Foundations Symposium (CSF'2007), Venice, 6-8 July 2007.
• 3rd Worshop on Formal and Computational Cryptography (FCC'2007), Venice, 5 July 2007.
• Second PARSEC meeting, Orsay, June 2007.
• École jeunes chercheurs en programmation (EJCP 2007), Dinard, June 2007.
• Alejandro Russo's licentiate seminar, Chalmers, Gothenburg, May 2007.
• IEEE Symposium on Security and Privacy Oakland, May 20-23, 2007.
• Mobility, Ubiquity and Security seminar, Dagstuhl, February 2007.
• Formal opening of the Microsoft Research INRIA Joint Center, 11 January 2007.
• ANR program Sécurité et Sûreté Informatique (SESUR), 2007.
• Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), Sydney, 8-10 November 2006.
• 13th ACM Conference on Computer and Communications Security (CCS 2006), Alexandria, October 2006.
• 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), 8-9 September 2006.
• 21st IEEE Symposium on Logic in Computer Science (LICS 2006), August 12th-15th, 2006, Seattle, Washington, USA.
• 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006). July 9-16, 2006.
• Second workshop on Formal and Computational Cryptography (FCC 2006), July 9. 2006.
• 19th IEEE Computer Security Foundations Workshop (CSFW19), July 5-7, 2006
• École jeunes chercheurs en programmation (EJCP 2006), Toulouse, June 2006.
• 5th Conference on Security and Network Architectures (SAR 2006), June 6-9. 2006
• INRIA-MSR joint lab security seminar, June 2nd 2006.
• ANR SETIN programme: "Sécurité et Informatique", 2006.
• FormaCrypt project meeting, March 2006.
• Microsoft Research 3rd Security Workshop, Hamburg, March 15-16. 2006.
• 20th ACM Symposium on Applied Computing: track on Computer Security, April 2006.
• Logic and Algorithms programme at the Isaac Newton Institute for Mathematical Sciences. 16 January - 7 July 2006.
• 2005 ACM Workshop on Secure Web Services (SWS 2005), November 11. 2005
• 12th ACM Conference on Computer and Communications Security (CCS 2005), Alexandria, USA. November 2005.
• 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), Tallin, September 2005.
• 16th International Conference on Concurrency Theory (CONCUR 2005), San Francisco, August 2005.
• Algebraic Process Calculi: The First Twenty Five Years and Beyond , August 2005.
• Worshop on Formal Aspects in Security and Trust (FAST 2005) and International Workshop on Web Languages and Formal Methods (WLFM 2005), affiliated with FM'05, Newcastle, July 2005.
• Worshop on the link between Formal and Computational Models of Cryptographic protocols, June 23-24 2005.
• 18th IEEE Computer Security Foundations Workshop (CSFW18), Aix-en-Provence, France, June 2005.
• École jeunes chercheurs en programmation (EJCP 2005), Dinard, June 2005.
• ANR araSSIA programme: "Sécurité des systèmes embarqué et Intelligence Ambiante", 2005.
• DIMACS workshop on Security of Web Services and E-Commerce May 5-6. 2005.
• European Joint Conference on Theory and Practice of Software (ETAPS 2005), including European Symposium on Programming (ESOP 2005), Edinburgh, April 2-10, 2005.
• 2nd International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'05), Nice, March 7-11, 2005
• 20th ACM Symposium on Applied Computing: track on Computer Security, March 2005.
• CIMPA-UNESCO-INDIA School on Security of Computer Systems and Networks, Bangalore, January 2005.
• 12th International Workshop on Foundations of Object-Oriented Languages , January 2005.
• 2004 ACM Workshop on Secure Web Services (SWS 2004), Fairfax, USA. October 29, 2004
• 11th ACM Conference on Computer and Communications Security (CCS 2004), Washington DC. October 2004.
• Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, September 2004.
• IFIP WG 2.2 meeting, Bertinoro, September 2004.
• 3rd EATCS Workshop on the Foundations of Global Ubiquitous Computing, London, September 2004.