PROOFS 2018 Editorial

摘要

The goal of the PROOFS workshop is to promote methodologies that provably improve the security of embedded systems, especially those which contain cryptographic algorithms. More specifically, 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), and provable security for physical attacks. This year's PROOFS workshop was held on September 13,2018, in Amsterdam, the Netherlands. The workshop was held one day after the co-located conference CHES (Cryptographic Hardware and Embedded Systems), the flagship IACR conference on embedded systems security.