Ongoing projects

• FET Mobius (September 2005 - August 2009)
• ANR project ParSec (January 2007-December 2010)
• ANR project Scalp (January 2008-December 2011)
• Secure Distributed Computations and their Proofs within the Microsoft Research-INRIA Joint Centre

Finished projects

• IP Inspired (January 2004 - December 2006)
• EU Networks APPSEM II and TYPES
• ACI GECCOO (July 2003 - July 2006)
• ACI SPOPS (July 2003 - July 2006)
• RNTL Castles (December 2003 - March 2007)
• ARC ModoCop
• IST project VerifiCard