PROOFS: Security Proofs for Embedded Systems

PROOFS 2016

Selected papers will be reviewed by and published in a Special Section of the Journal of Cryptographic Engineering (JCEN), as done for each previous edition (PROOFS 2012, PROOFS 2013, PROOFS 2014, publication of PROOFS 2015 is on-going).

Registration webpage is open

The accepted papers are announced!

Important dates

• Submission deadline (abstracts):   Tuesday June 14, 2016 (closed)
• Submission deadline (full papers):   Tuesday June 21, 2016 (closed)
• Authors notification:   Saturday July 23, 2016
• Final version due:   Saturday August 6, 2016
PROOFS welcome dinner:   Friday August 19, 2016 (just after CHES)
PROOFS workshop venue:   Saturday August 20, 2016

Previous editions:

PROOFS 2014

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