Prosecco is a research team at INRIA Paris that does formal and practical security research on cryptographic protocols, software security, web security, and hardware protection mechanisms. To this end, we design and implement programming languages, formal verification tools, dynamic monitors, testing frameworks, verified compilers, etc.

Software Tools

  • F*: Verification system for ML programs
  • CryptoVerif: Cryptographic protocol verifier in the computational model
  • ProVerif: Cryptographic protocol verifier in the symbolic model
  • miTLS: Verified reference implementation of TLS
  • FlexTLS: Testing TLS Implementations
  • Defensive JavaScript: Protect your scripts
  • QuickChick: Property-based testing for Coq
  • WebSpi: Web security verifier
  • Tookan: Security API analyzer (now Cryptosense startup)


We are always on the lookout for excellent, highly motivated students and young researchers for research internships and PhD, PostDoc, Research Engineer, or Researcher positions. We have external funding for a couple of PhD and PostDoc positions we can fill over several years with significant flexibility and can also support strong candidates for Researcher positions funded and awarded competitively by Inria. The projects to which students and young researchers could currently contribute include:

PostDocs (usually on 2 year positions) can also propose and follow their own research agenda and be fairly independent. Researchers (on 3 year or permanent positions via competitive Inria national contest) are expected to be highly independent. The research internships are for students at any level (BSc, MSc, and PhD) and usually take between 3 and 6 months (more details here). The predominant language of communication in Prosecco is English.

If you are interested in applying or have any questions please send us an email at and For applying please include your CV, a short description of your research interests, and the emails of one or two people who can act as your references.

How to find us

We are located at 2 rue Simone Iff, 75012 Paris, France. This address is, however, so new that mapping applications might not know it; if that's the case please use this old equivalent address: 43 Rue du Charolais, 75012 Paris, France

Postal address

Inria Prosecco team, Centre de Recherche Inria de Paris, 2 rue Simone Iff, CS 42112, 75589 Paris Cedex 12