Committees

General chair

• Steve Kremer, LSV, ENS Cachan & CNRS & INRIA

 Organizing Committee

• Vincent Cheval, LSV, ENS Cachan & CNRS & INRIA
• Stéphanie Delaune, LSV, ENS Cachan & CNRS & INRIA
• Robert Künnemann, LSV, ENS Cachan & CNRS & INRIA
• Graham Steel, LSV, ENS Cachan & CNRS & INRIA

Program chairs

• Michael Backes, Saarland Univ. and MPI-SWS
• Steve Zdancewic, U Penn

Program committee

• Gilles Barthe, IMDEA
• Lujo Bauer, CMU
• David Basin, ETH
• Michael Clarkson, Cornell U
• Stéphanie Delaune, INRIA
• Riccardo Focardi, U Venice
• Cédric Fournet, Microsoft Research
• Joshua Guttman, WPI
• Boris Köpf, IMDEA
• Patrick McDaniel, Penn State
• Cathy Meadows, NRL
• John Mitchell, Stanford U
• Greg Morrisett, Harvard U
• Catuscia Palamidessi, INRIA
• Alejandro Russo, U Chalmers
• Paul Syverson, NRL
• Nikil Swamy, Microsoft Research
• Dominique Unruh, Saarland U