Program Chairs

General Chair

Financial Chair

Publications Chair

Publicity Chair

Program Committee

• Thomas H. Austin, San Jose State University
• Musard Balliu, KTH Royal Institute of Technology
• Bruno Blanchet, INRIA
• Tom Chothia, University of Birmingham
• Véronique Cortier, CNRS
• Cas Cremers, CISPA-Helmholtz Center
• Stephanie Delaune, Univ Rennes, CNRS, IRISA (Program Co-Chair)
• Riccardo Focardi, Ca'Foscari Univ. of Venice
• Cédric Fournet, MSR
• Matt Fredrikson, Carnegie Mellon University (Session Chair on Machine Learning)
• Marco Gaboardi, University at Buffalo, SUNY
• Limin Jia, Carnegie Mellon University (Program Co-Chair)
• Chris Hawblitzel, MSR
• Justin Hsu, University of Wisconsin
• Aniket Kate, Purdue University (Session Chair on Blockchain)
• Matteo Maffei, TU Wien
• David Naumann, Stevens Institute of Technology
• Catuscia Palamidessi, INRIA
• Corina Pasareanu, NASA Ames Research Center
• Christine Rizkallah, University of New South Wales
• Peter Y.A. Ryan, University of Luxembourg
• David Sands, Chalmers University of Technology
• Ralf Sasse, ETH Zurich
• Dominique Unruh, University of Tartu (Session Chair on Cryptography)
• Danfeng Zhang, Penn State University