Program committee



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