Program committee



Name Affiliation
Adrien Koutsos Inria
Alley Stoughton Boston University
Alwen Tiu The Australian National University
Andrea Marin University Ca' Foscari of Venice
Andrei Popescu University of Sheffield
Aniket Kate Supra Research / Purdue University
Anitha Gollamudi University of Massachusetts Lowell
Ante Derek University of Zagreb
Aslan Askarov Aarhus University
Aymeric Fromherz Inria
Benjamin Grégoire Inria
Bruno Blanchet Inria
Catuscia Palamidessi Inria
Chris Brzuska Aalto University
Christoph Egger Chalmers University of Technology
Christoph Sprenger ETH Zurich
Clara Schneidewind MPI-SP
Danfeng Zhang Duke University
Daniel Kifer Penn State University
Deepak Garg chair Max Planck Institute for Software Systems
Deian Stefan University of California, San Diego
Denis Firsov IOG/Taltech
Dominique Devriese KU Leuven
Dominique Schröder TU Wien
Dominique Unruh chair RWTH Aachen, University of Tartu
Eleftherios Ioannidis Microsoft Research
Elisavet Kozyri UiT The Arctic University of Norway
Frank Piessens KU Leuven
Gilles Barthe MPI-SP and IMDEA Software Institute
Jonathan Protzenko Microsoft Azure Research
José Fragoso Santos University of Lisbon, INESC-ID
Joseph Lallemand CNRS
Joshua Guttman The MITRE Corporation
Kedar Namjoshi Nokia Bell Labs
Kirsten Winter DSTG/University of Queensland
Klaas Pruiksma University of Stuttgart
Marc Fischlin TU Darmstadt
Marco Gaboardi Boston University
Marco Patrignani Universita` di Trento
Mário S. Alvim UFMG
Matteo Maffei TU Wien
McKenna McCall Colorado State University
Michele Bugliesi Ca' Foscari University of Venice
Milan Lopuhaä-Zwakenberg University of Twente
Musard Balliu KTH Royal Institute of Technology
Myrto Arapinis The University of Edinburgh
Olivier Pereira UCLouvain
Pascal Reisert University of Stuttgart
Pasquale Malacaria Queen Mary University of London
Peeter Laud Cybernetica AS
Peter Y A Ryan University of Luxembourg
Pierre-Yves Strub PQShield
Pooya Farshim IOG
Ralf Sasse ETH Zurich
Ran Canetti Boston University
Robert Künnemann CISPA Helmholtz Center for Information Security
Roberto Blanco Eindhoven University of Technology
Scott Moore Galois, Inc.
Sebastian Mödersheim DTU
Sébastien Bardin CEA List & Université Paris Saclay
Stefano Calzavara Università Ca' Foscari Venezia
Stephen Chong Harvard University
Steve Zdancewic University of Pennsylvania
Tachio Terauchi Waseda University
Thomas Zacharias University of Glasgow
Tom Chothia University of Birmingham
Vincent Cheval University of Oxford
Xavier Rival CNRS/ENS Paris/PSL/Inria
Xinyu Feng Nanjing University & Huawei