PROOFS: Security Proofs for Embedded Systems
  UCSB (CA, USA) — Saturday August 20, 2016

Goal of the Workshop

The goal of the PROOFS workshop is to promote methodologies that increase the confidence level in the security of embedded systems, especially those which contain cryptographic algorithms.

Formal methods definitely allow to increase the trust level of digital systems. Benefits are:
 - specifications review and consistency check at modeling stage,
 - capturing security properties as early as possible in design steps,
 - non-regression testing during refinement and optimization,
 - etc.

The PROOFS workshop seeks contributions in use-cases where the formalization help the designer and the evaluator gain confidence in the implementation correctness of security mechanisms.
Contributions in the field of software and hardware verification are very welcomed.


Venue

The fifth edition of the PROOFS workshop will take place at UCSB, CA, USA, on August 20th, 2016. As usual, it is organized the day after the CHES workshop.

Programme Committee

    * Alexandro Barenghi, Politecnico di Milano, Italy.
    * Begül Bilgin, KU Leuven, Belgium.
    * Joan Daemen, STMicroelectronics, Belgium.
    * François Dupressoir, IMDEA Software Institute, Spain.
    * Nadia El Mrabet, EMSE, France.
    * Emmanuelle Encrenaz, LIP6, France.
    * Naofumi Homma, Tohoku University, Japan (PC chair).
    * Debdeep Mukhopadhyay, IIT Kharagpur, India.
    * Renaud Pacalet, Institut Mines-Télécom, France.
    * Stjepan Picek, KU Leuven, Belgium.
    * Marie-Laure Potet, VERIMAG, France.
    * Axel York 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

    * Çetin Kaya Koç.