Name Affiliation
Aslan Askarov Aarhus University
Boris Köpf IMDEA Software Institute
Danfeng Zhang Penn State University
Deepak Garg MPI Software Systems
Frank Piessens "DistriNet
Kevin Hamlen University of Texas at Dallas
Lujo Bauer Carnegie Mellon University
Marco Gaboardi chair University at Buffalo
Mario Alvim Universidade Federal de Minas Gerais
Nataliia Bielova chair Inria
Omer Tripp Google
Scott Moore Galois, Inc.
Steve Kremer Loria & Inria