PROOFS: Security Proofs for Embedded Systems

PROOFS 2012

Leuven, Belgium — Thursday, September 13rd, 2012

Announcement for PROOFS 2013

PROOFS 2013 will be held at Santa Barbara on August 24,
after FDTC, CRYPTO and CHES.

Important dates

• Diffusion of the CfP:   Thursday February 16th, 2012
• Submission deadline:   Sunday May 27th, 2012 (Sunday May 6th, 2012)
• Authors notification:   Sunday July 8th, 2012 (Sunday July 1st, 2012)
• Final version due:   Sunday July 29th, 2012
PROOFS workshop venue:   Thursday September 13rd, 2012

Registration: the server is available

Proceedings of PROOFS 2012:



PROOFS'2012




Sponsors


TELECOM-ParisTech