PROOFS: Security Proofs for Embedded Systems
  Saint-Malo (France) — Thursday September 17, 2015

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 fourth edition of the PROOFS workshop will take place at Saint Malo, France, on Sept 17th, 2015.


Agenda

The workshop will feature two/three invited talks and contributed talks.

    * Submission deadline   : Sunday May 24th, 2015
    * Authors notification  : Friday July 21st, 2015
    * Final version due     : Sunday August 23rd, 2015
    * PROOFS workshop venue : Saturday September 27th, 2015


Programme Committee

    * Alessandro Barenghi, Politecnico di Milano, Italy.
    * Loïc Correnson, CEA LIST, France.
    * Joan Daemen, STMicroelectronics, Belgium.
    * François Dupressoir, IMDEA Software Institute, Spain.
    * Emmanuelle Encrenaz, LIP6, France.
    * Naofumi Homma, Tohoku U., Japan.
    * Éliane Jaulmes, ANSSI, France.
    * Debdeep Mukhopadhyay, IIT Kharagpur, India.
    * Svetla Nikova, KU Leuven, Belgium.
    * Renaud Pacalet, TELECOM-ParisTech, France.
    * Marie-Laure Potet, VERIMAG, France.
    * Bruno Robisson, ENSMSE, France.
    * Graham Steel, LSV, France.
    * Mehdi Tibouchi, NTT, Japan.
    * Chao Wang, VirginiaTech, USA.
    * Yongbin Zhou, Chinese Academy of Sciences, China.
    * (other invitations on-going ...)

Steering committee

    * Sylvain Guilley, TELECOM-ParisTech, France.
    * Çetin Kaya Koç, UCSB, USA.
    * David Naccache, ENS, France.
    * Akashi Satoh, UEC, Japan.
    * Werner Schindler, BSI, Germany.