Section: Overall Objectives

Highlights of the Year

This year, we published 5 articles in international journals and 11 articles in peer-reviewed international conferences, including presitigious conferences such as CCS (1), CRYPTO (1), and CSF (2). In addition to these, we published 1 HDR thesis, 3 master's theses, 4 technical reports, and 5 workshop papers. We also have 4 articles already accepted for publication in international conferences in 2013.

We released updates to 3 verification tools and released 3 new software packages. We discovered and reported major security vulnerabilites in dozens of commercial software packages, hardware devices, and websites.

Of our work published in 2012, we would like to highlight the following:

• Our paper in CRYPTO 2012 [22] describing new attacks on cryptographic hardware devices, which got significant interest from both the cryptographer community and from the press.

• Our work on generating implementation code from verified models of cryptographic protocols [26] , [27] .

• Our work on formally analyzing web application security using automated verification tools, which uncovered major attacks in popular websites and web browsers [21] , [24] , [20] .