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 collocated 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. Formal methods allow to increase the trust level of digital systems.


The proceedings of the previous edition of PROOFS are available online in the EPiC Series 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).