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.