Security Proofs for Embedded Systems
The 9th International Workshop on Security Proofs for Embedded
Systems (PROOFS) will be held as an online workshop. It is colocated
with CHES, the Conference on
Cryptographic Hardware and Embedded Systems.
PROOFS will be a virtual workshop this year.
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 previous editions of PROOFS are
available online in
Publications in Computing. We plan to publish this year's proceedings in
the same open access series.
Additionally, revised versions of the accepted
papers are published in a special issue of the Journal
of Cryptographic Engineering (JCEN).