PROOFS 2017:Editor's Preface

This volume contains the papers presented at PROOFS 2017, the 6th International Workshop on Security Proofs for Embedded Systems held on September 29th 2017 in Taipei, Taiwan.

The goal of the PROOFS workshop is to promote methodologies that increase the confidence in the security of embedded systems, especially those which contain cryptographic algorithms. Formal methods allow to increase the trust level of digital systems. Some benefits are:

  • Specifications review and consistency checks during the modeling stage
  • Capturing and verifying security properties in early design phases
  • Non-regression testing during refinement and optimization
  • Better-than-worst-case performance by using provably effective security measures

The PROOFS workshop seeks contributions in both theory and practice of formal or semi-formal methods applied to the security of embedded systems. In the scope of the workshop lie also use-cases where a thorough formalization helps the design and verification engineers to gain confidence in the implementation correctness of security mechanisms, as well as contributions in the field of software and hardware verification.

We would like to thank the authors for their contributions, and the members of the program committee and the additional reviewers for the time they invested in reviewing the submitted papers. A special thank goes out to the local organization committee, in particular to Chen-Mou Cheng and Seiya Pan for helping us to organize the event in Taipei. We also thank the invited speakers, Johann Heyszl and Oscar Reparaz for their presentations.

PROOFS 2017 has been made possible with the help of our sponsors, SecureIC and the Department of Communication and Electronics of Télécom ParisTech.

Ulrich Kühne
Jean-Luc Danger
Sylvain Guilley
September 21, 2017