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.
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).