PROOFS: Security Proofs for Embedded Systems
Committees
Programme Committee
- Alexandro Barenghi, Politecnico di Milano, Italy.
- Loïc Correnson, CEA LIST, France.
- Emmanuelle Encrenaz, Emmanuelle Encrenaz, LIP6, France.
- François Dupressoir, Fundación IMDEA Software, Spain.
- Éliane Jaulmes, ANSSI, France.
- Naofumi Homma, Tohoku University, Japan.
- Debdeep Mukhopadhyay, IIT Kharagpur, India.
- Svetla Nikova, K.U.Leuven, Belgium.
- Renaud Pacalet, Institut Mines-Télécom, France.
- Bruno Robisson, CEA-Tech, France.
- Graham Steel, LSV, ENS Cachan, France.
- Mehdi Tibouchi, NTT Secure Platform Laboratories, Japan.
- Yongbin Zhou, Chinese Academy of Sciences, China.
Steering committee
- Sylvain Guilley, TELECOM-ParisTech, France.
- Çetin Kaya Koç, UCSB, USA.
- David Naccache, ENS, France.
- Akashi Satoh, UEC, Japan.
- Werner Schindler, BSI, Germany.
Local committee
- General Chair: Prof. Howon Kim, Busan National Univ., South Korea.
