Section: Highlights of the Year

Highlights of the Year

• We published 20 papers at top-tier conferences and journals such as POPL (5), ICFP (2), PLDI (1), OOPSLA (1), ACM CCS (1), IEEE S&P (1), IEEE CSF (1), TOPLAS (1), and JCS (1).

• The HACL* verified cryptographic library developed in our group was integrated by Linux (WireGuard) and Tezos, and more verified crypto primitives were integrated in Mozilla Firefox.

• We organized a Dagstuhl Seminar on Secure Compilation (18201)

• Catalin Hritcu served as Program Chair for the Workshop on Principles of Secure Compilation at POPL'18