Security Proofs for Embedded Systems

The 7th International Workshop on Security Proofs for Embedded Systems (PROOFS) will be held on September 13th, 2018 in Amsterdam (Netherlands). It is colocated with CHES, the Conference on Cryptographic Hardware and Embedded Systems.

Goals of the Workshop

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.

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


The proceedings of the 2018 edition of PROOFS are available online in the Kalpa Publications in Computing open access series. Additionally, the authors are invited to submit revised versions of their papers to a special issue of the Journal of Cryptographic Engineering (JCEN).