PROOFS: Security Proofs for Embedded Systems

PROOFS 2015

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.

Important dates

• Submission deadline (abstracts):   Sunday May 24, 2015 Sunday June 7, 2015 (Deadline extension!)
• Submission deadline (full papers):   Sunday May 31, 2015 Sunday June 14, 2015 (Deadline extension!)
• Authors notification:   Friday July 31, 2015
• Final version due:   Sunday August 23, 2015
PROOFS welcome dinner:   Wednesday September 16, 2015
PROOFS workshop venue:   Thursday September 17, 2015

Previous editions:

PROOFS 2014

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