Teaching:

• Paris 6, Secure Diffuse Programming (2012)
  
• Paris 6, Diffuse Computing (2011)
• Master sur Cryptographie et Sécurité: cours "Vérification et Sécurité" avec Benjamin Gregoire (2008-2012)
  
• Master on Ubiquitous Networking and Computing: course on "Secure Diffuse Computing" with several members of the INDES team (2009)
• Master on Programming, Languages, Models, Techniques (PMLT): course on "Compilation of Certificates" (2008) Notes

Phd students:

• Jose Santos (2011-, co-supervision with Ana Matos)
• Zhengqin Luo (2008-2011, thesis: Semantics and Security of Web Applications)

Projects

Current research projects:

• INRIA INDES (2009-, project vice-leader)
• INRIA-MSR Secure Distributed Computations and their Proofs (2006-)
• CIRIC (2012-2021)
• MEALS (2012-2015)

Finished research projects:

ANR PARSEC (2007-2010) STIC-AmSud FMCrypto (2009-2010, international and french coordination) COLOR Matyss (2009), IP FET Mobius (2005-2009), STIC-AmSud ReSeCo (2007-2009), INRIA EVEREST (2004-2008)