13 Sep 2018 Amsterdam (Netherlands)


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.

For more information, please visit the official website of PROOFS.


The registration for the workshop is open until September 13. Please note that a refund of the registration fee is not possible. The registration fee is

Early registration (until August 13, 2018):

  • 180 € for regular participants
  • 140 € for students

Late registration (until September 13, 2018):

  • 200 € for regular participants
  • 160 € for students

Extra dinner tickets (limited number available): 60 € per person

Online user: 1