PROOFS: Security Proofs for Embedded Systems
Committees
Programme Committee
- Alexandro Barenghi, Politecnico di Milano, Italy.
- Begül Bilgin, KU Leuven, Belgium.
- Anupam Chattopadhyay, NTU, Singapore.
- Joan Daemen, STMicroelectronics, Belgium.
- Nadia El Mrabet, EMSE, France.
- Karine Heydemann, LIP, France.
- Naofumi Homma, Tohoku University, Japan
- Ulrich Kühne, Télécom ParisTech (program chair).
- Debdeep Mukhopadhyay, IIT Kharagpur, India.
- Renaud Pacalet, Institut Mines-Télécom, France.
- Stjepan Picek, KU Leuven, France.
- Marie-Laure Potet, VERIMAG, France.
- Axel Poschmann, NXP, Germany.
- Mehdi Tibouchi, NTT Secure Platform Laboratories, Japan.
- Chao Wang, VirginiaTech, USA.
- 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
- Chen-Mou Cheng, NTU, Taiwan
