CfP PROOFS 2018 deadline extended till July 2, 2018

June 24, 2018

7th Int. ws. on Security Proofs for Embedded Systems 

Amsterdam, the Netherlands, September 13, 2018 

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. Concretely, the PROOFS workshop seeks contributions in both theory and practice of methods and tools applied to the security of embedded systems. Examples include (semi-)formal methods, simulation-based leakage evaluation and security checks, protocol verification techniques, test and verification of secure embedded systems (software and hardware), provable security for physical attacks.

Conference website:

Call for papers:

Submission link:

Abstract registration deadline: July 2, 2018

Submission deadline: July 6, 2018

Submitted papers are limited to 15 pages in EPiC style. The papers can be submitted via easychair.

Topics of interest include, but are not limited to, the following:

  • (Automated) security proofs
  • Applications of formal methods in security
  • Protocol verification
  • Security evaluation of real-world systems
  • Leakage-resilient cryptography
  • Side-channel analysis and countermeasures
  • Fault attacks and defenses
  • Information leakage models
  • Tamper-resistant hardware
  • Early leakage detection, e.g. based on simulators
  • Synergies between security and reliability
  • On-chip monitoring of physical attacks


Organizing committee


General chair: Ulrich Kühne (Télécom ParisTech, France)

Program chairs: Lejla Batina (Radboud University, the Netherlands) and Nele Mentens (KU Leuven, Belgium)