Sections

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
Document Actions