Section: Highlights of the Year

Highlights of the year

This year, we published 15 articles in international peer-reviewed journals and conferences, including papers in prestigious conferences such as IEEE S&P Oakland (2 papers), ACM CCS, NDSS, WWW, ASPLOS, and ITP, and we won four research awards for our work, detailed below.

We released updates to F*, miTLS, ProVerif, and CryptoVerif, along with our collaborators at other institutions. We discovered serious vulnerabilities in a number of TLS libraries, web browsers, and web servers, resulting in several published CVEs, and over a dozen software updates based on our recommendations in widely used software such as Firefox, Chrome, Internet Explorer, Safari, OpenSSL, Java, and Mono.

Awards

• Distinguished paper award, IEEE Symposium for Security and Privacy, 2015

• Best student paper award, ACM Conference on Computer and Communications Security, 2015

• Best paper award, Usenix Workshop on Offensive Technologies, 2015

• Pwnie award for Most Innovative Research, BlackHat USA, 2015