PROOFS: Security Proofs for Embedded Systems

Hotel Paradise: PROOFS 2014 venue HaeUnDae: PROOFS 2014 venue

NEW: Program is online
NEW: Registration webpage is open.

PROOFS 2014 will be held at Busan (Korea) on Saturday September 27, at Paradise Hotel, in the "Sydney" conference room.


It is planned to publish revised papers of PROOFS 2014 as an LNCS post-proceeding (Springer Verlag).
Selected papers will be reviewed by and published in a Special Section of the Journal of Cryptographic Engineering (JCEN).

Important dates

• Diffusion of the CfP:   Saturday March 1st, 2014
• Submission deadline (abstracts):   Saturday June 7, 2014 Saturday June 14, 2014 (Deadline extension!)
• Submission deadline (full papers):   Saturday June 14, 2014 Saturday June 21, 2014 (Deadline extension!)
• Registration site opening:   Monday June 16, 2014
• Authors notification:   Saturday August 9, 2014
• Final version due:   Saturday September 13, 2014
PROOFS welcome dinner:   Friday September 26, 2014
PROOFS workshop venue:   Saturday September 27th, 2014

Previous editions:

PROOFS 2014

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