PROOFS: Security Proofs for Embedded Systems

PROOFS 2017
The proceedings of PROOFS 2017 will be published in the EPiC open access series. Selected papers will be reviewed by and published in the Journal of Cryptographic Engineering (JCEN), as done for previous editions (PROOFS 2012, PROOFS 2013, PROOFS 2014, PROOFS 2015).

Registration webpage is open

List of accepted papers is available

Important dates

• Submission deadline (abstracts):   Friday June 23, 2017 Friday July 7, 2017
• Submission deadline (full papers):   Friday June 30, 2017 Friday July 7, 2017
• Authors notification:   Friday July 20, 2017 Friday July 28, 2017
• Final version due:   Friday, September 8, 2017
PROOFS welcome dinner:   Thursday September 28, 2017 (just after CHES)
PROOFS workshop venue:   Friday September 29, 2017

Previous editions:

PROOFS 2014

Sponsors
Institut Mines-Telecom
TELECOM-ParisTech
Secure-IC S.A.S.