Section: Highlights of the Year

Highlights of the Year

This year, we published 18 articles in international peer-reviewed journals and conferences, including papers in prestigious conferences such as POPL, IEEE S&P Oakland, ACM CCS, NDSS, CSF, and WPES. Notably, Bruno Blanchet published a book surveying the use of ProVerif, his state-of-the-art protocol verification tool. We also won several research awards for our work, detailed below. Our work also exposed two new attacks, SLOTH and SWEET32, on Transport Layer Security, resulting in security updates and CVEs in popular web browsers and VPN software.


  • Catalin Hritcu was awarded an ERC Starting Grant

  • Catalin Hritcu was awarded an ANR Jeune Chercheur/Jeune Chercheuse Grant

  • Karthikeyan Bhargavan was awarded an ERC Consolidator Grant

  • Karthikeyan Bhargavan and Gaëtan Leurent won a Best Paper award at NDSS 2016

  • Karthikeyan Bhargavan, Cedric Fournet, Markulf Kohlweiss, and Alfredo Pironti were awarded the Levchin prize for contributions to Real-World Cryptography

  • Karthikeyan Bhargavan was awarded a Microsoft Outstanding Collaborator Award

  • Karthikeyan Bhargavan was awarded the Prix Inria – Académie des sciences du Jeune chercheur