PROOFS: Security Proofs for Embedded Systems
Copyright: Marco Mertens
Leuven, Belgium — Thursday, September 13rd, 2012
Committees
Programme Committee
- Alessandro Barenghi, Politecnico di Milano, Italy.
- Gilles Barthe, Fundación IMDEA Software, Spain.
- Loïc Correnson, CEA LIST, France.
- Emmanuelle Encrenaz, LIP6, France.
- Naofumi Homma, Tohoku U., Japan.
- Éliane Jaulmes, ANSSI, France.
- Gerwin Klein, NICTA, Australia.
- Debdeep Mukhopadhyay, IIT Kharagpur, India.
- Svetla Nikova, K.U.Leuven, Belgium.
- Renaud Pacalet, TELECOM-ParisTech, France.
- Bruno Robisson, ENSMSE, France.
- Timothy Sherwood, UCSB, USA.
- Graham Steel, LSV, France.
Steering committee
- Sylvain Guilley, TELECOM-ParisTech, France.
- Çetin Kaya Koç, UCSB, USA.
- David Naccache, ENS, France.
- Akashi Satoh, AIST, Japan.
- Werner Schindler, BSI, Germany.
Local committee
- Prof. Jean-Luc Danger, TELECOM-ParisTech, France.
- Dr. Svetla Nikova, K.U.Leuven, Belgium.
- Prof. Ingrid Verbauwhede, K.U.Leuven, Belgium.
