PROOFS: Security Proofs for Embedded Systems
		 
   
| 
 
|    | 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: