The 6th International Workshop on Security Proofs for Embedded Systems (PROOFS) will be held on September 29th, 2017 in Taipei (Taiwan). 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 registration for the PROOFS 2017 workshop is open. You can register until September 29. Please note that a refund of the registration fee is not possible.

The registration fee is

  • 200 € for regular participants
  • 160 € for students
Online user: 1