The 8th International Workshop on Security Proofs for Embedded Systems (PROOFS) will be held in Atlanta (USA). 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
PUBLICATION
The proceedings of the previous edition of PROOFS are available online in the Kalpa Publications in Computing. We plan to publish this year’s proceedings in the same open access series.