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 effectful 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 (PhD, MSc, and BSc) 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 reach 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. Here are more details.

Postal address

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

Friday, 3 August, 2018


A Holistic framework: Business Process Re-engineering and functional toolkit for GDPR compliance

BPR4GDPR is one of the GDPR cluster projects that will provide a holistic framework able to support end-to-end GDPR-compliant intra- and interorganisational ICT-enabled processes at various scales, while also being generic enough, fulfilling operational requirements covering diverse application domains. Read this to find out more.

Future Events

IAM Online Europe live webinar - AARC Extensions to the REFEDS Assurance Framework

AARC is holding a live webinar on 27 June 2019 at 15:00 CEST, that will explain extensions to the REFEDS Assurance Framework and implementations that were devised in the AARC project.

Representation of the State of Hessen to the EU
04/07/2019 to 05/07/2019

Project CyberSec4Europe (Cyber Security for Europe) is holding it next event - "Representation of the State of Hessen to the EU" in Brussels, Belgium on 4-5 July 2019. 

Other three pilots are invited during CyberSec4Europe meetings.