May 25, 2018
PROOFS 2018: 7th International Workshop 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: http://www.proofs-workshop.org/
Call for papers: https://easychair.org/cfp/PROOFS2018
Submission link: https://easychair.org/conferences/?conf=proofs2018
Abstract registration deadline: June 18, 2018 Submission deadline: June 22, 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: