Section: Highlights of the Year

Highlights of the Year

• We published 20 papers at top-tier conferences such as POPL (2), IEEE S&P (2), ACM CCS (1), IEEE CSF (1), ICFP (1), PETS (1), and IEEE Euro S&P (2).

• Bruno Blanchet published a paper on the applied pi calculus in the prestigious Journal of the ACM.

• The HACL* verified cryptographic library developed in our group was integrated into Mozilla Firefox 57 and is being actively used by hundreds of millions of users around the world.

• We organized the second edition of the IEEE Euro S&P Conference in Paris, which was attended by over 200 security researchers from around the world.

Awards

• Karthikeyan Bhargavan, Bruno Blanchet, and Nadim Kobeissi won a Distinguished Paper award at IEEE S&P 2017 .

• Catalin Hritcu was awarded a new DARPA SSITH grant called HOPE with DRAPER Labs.

• Antoine Delignat-Lavaud received an “accessit” for the prix de thèse GDR GPL 2016.

Best Paper Award:

[24]