PROOFS: Security Proofs for Embedded Systems

Hotel Paradise: PROOFS 2014 venue HaeUnDae: PROOFS 2014 venue

NEW: PROOFS 2015 will be at Saint-Malo, on Thursday September 17, 2015 (the day after CHES).

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 14, 2014 (closed)
• Submission deadline (full papers):   Saturday June 21, 2014 (closed)
• 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 — 18:00-21:00, at The Party (room A) restaurant (same place as lunch for CHES, i.e., B1F Palé de Cz Hotel)
PROOFS workshop venue:   Saturday September 27th, 2014

Previous editions:

PROOFS 2014

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