Program committee



Name Affiliation
Andrei Sabelfeld Chalmers University of Technology
Anna Lisa Ferrara University of Surrey
Aslan Askarov Aarhus University
Bogdan Warinschi University of Bristol
Boris Köpf chair IMDEA Software Institute
Catalin Hritcu Inria Paris
Daniel Kifer Penn State
Geoffrey Smith Florida International University
Greg Morrisett Cornell University
Jens Grossklags Penn State
Jong Kim Pohang University of Science and Technology
June Andronick NICTA and UNSW
Karthikeyan Bhargavan INRIA
Lujo Bauer Carnegie Mellon University
Manuel Barbosa HASLab - INESC TEC and University of Porto
Matt Fredrikson Carnegie Mellon University
Matteo Maffei Saarland University
Michael Carl Tschantz ICSI Berkeley
Mike Hicks chair University of Maryland
Nicola Zannone Eindhoven University of Technology
Peeter Laud Cybernetica
Sebastian Mödersheim Technical University of Denmark
Stephen Magill Galois
Steve Kremer INRIA
Steve Zdancewic University of Pennsylvania