Karthikeyan Bhargavan - Prosecco
Software Tools
HACL*: High-Assurance Cryptographic LibraryF*: Verification system for effectful programsCryptoVerif: Cryptographic protocol verifier in the computational modelProVerif: Cryptographic protocol verifier in the symbolic model team.inria.fr
Recruitment
We are always on the lookout for 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 p
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. team.inria.fr
Postal Address
Inria Prosecco team, Centre de Recherche Inria de Paris, 2 rue Simone Iff, CS 42112, 75589 Paris Cedex 12 team.inria.fr
![Karthikeyan Bhargavan [Research]](https://www.inria.fr/sites/default/files/2020-03/Inria-0255-111.jpg "Karthikeyan Bhargavan [Research]")
