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: