Program Chairs

General Chairs

Financial Chair

Publications Chair

Publicity Chair

Workshop Chair

Program Committee

• Mário Alvim (UFMG - Universidade Federal de Minas Gerais)
• Timos Antonopoulos (Yale University)
• Arthur Azevedo de Amorim (Rochester Institute of Technology)
• Musard Balliu (KTH Royal Institute of Technology)
• Tajana Ban Kirigin (Faculty of Mathematics, University of Rijeka)
• Sébastien Bardin (CEA LIST, Université Paris-Saclay)
• Lennart Beringer (Princeton University)
• Abhishek Bichhawat (IIT Gandhinagar)
• Roberto Blanco (Max Planck Institute for Security and Privacy)
• Yinzhi Cao (Johns Hopkins University)
• Cas Cremers (CISPA Helmholtz Center for Information Security)
• Mads Dam (KTH)
• Lesly-Ann Daniel (KU Leuven)
• Stéphanie Delaune (Univ Rennes, CNRS, IRISA, France)
• Ante Derek (University of Zagreb, Faculty of Electrical Engineering and Computing)
• Dominique Devriese (KU Leuven)
• Ni Ding (University of Melbourne)
• Dominic Duggan (Stevens Institute of Technology)
• Michael Emmi (Amazon Web Services)
• Matt Fredrikson (Carnegie Mellon University)
• Klaus v. Gleissenthall (VU Amsterdam )
• Benjamin Gregoire (INRIA)
• Chris Hawblitzel (Microsoft Research)
• Jana Hofmann (Microsoft Azure Research)
• Catalin Hritcu (MPI-SP)
• Justin Hsu (Cornell University)
• Marieke Huisman (University of Twente)
• Elisavet Kozyri (UiT The Arctic University of Norway)
• Robert Künnemann (CISPA Helmholtz Center for Information Security)
• Steve Kremer (Inria Nancy)
• Peeter Laud (Cybernetica AS)
• Flaminia Luccio (University Ca' Foscari, Venice, Italy)
• Ning Luo (Northwestern University)
• Sergio Maffeis (Department of Computing, Imperial College London)
• Pasquale Malacaria (Queen Mary University of London)
• Piotr Mardziel (Independent)
• Andrea Marin (University Ca’ Foscari of Venice)
• Sjouke Mauw (Sjouke Mauw)
• Catherine Meadows (NRL)
• Scott Moore (Galois, Inc.)
• Carroll Morgan (UNSW and Trustworthy Systems)
• Greg Morrisett (Cornell Tech)
• Sebastian Mödersheim (DTU - Technical University of Denmark)
• Johannes Müller (University of Luxembourg)
• Sabine Oechsner (VU Amsterdam)
• Corina Pasareanu (NASA Ames, KBR, Carnegie Mellon University (CyLab))
• Marco Patrignani (University of Trento)
• Frank Pfenning (Carnegie Mellon University)
• Andrei Popescu (University of Sheffield. UK)
• Jonathan Protzenko (Microsoft Research)
• Aseem Rastogi (Microsoft Research)
• Xavier Rival (INRIA)
• Peter Y A Ryan (University of Luxembourg)
• Ralf Sasse (ETH Zurich)
• Clara Schneidewind (MPI-SP)
• Dominique Schröder (Friedrich-Alexander University Erlangen-Nürnberg)
• Alley Stoughton (Boston University)
• Nikhil Swamy (Microsoft Research)
• Tachio Terauchi (Waseda University)
• Mayank Varia (Boston University)
• Kirsten Winter (Defence Science and Technology Group, Australia and The University of Queensland, Australia)

Test-of-Time Awards Committee

• Catalin Hritcu (MPI-SP, Bochum, Germany) – Outgoing ToT Awards Chair
• David A. Naumann (Stevens Institute of Technology, USA) – Incoming ToT Awards Chair
• David A. Basin (ETH Zürich, Switzerland)
• Bruno Blanchet (Inria Paris, France)
• Véronique Cortier (CNRS, Nancy, France)
• Limin Jia (CMU, USA)
• Heiko Mantel (TU Darmstadt, Germany)
• Frank Piessens (KU Leuven, Belgium)
• David Sands (Chalmers University, Gothenburg, Sweden)

Web Chair

• Marina Krček (TU Delft)

Local Organizers

• Luca Mariot, University of Twente (General Chair)
• Marc Damie, University of Twente
• Matteo Grella, University of Twente
• Stefano Simonetto, University of Twente