PROOFS: Security Proofs for Embedded Systems


We invite submissions of high-quality papers describing original research related to proofs for security. We will not accept any paper which, at the time of submission, is under review for or has already been published or accepted for publication in a journal or another conference. We encourage works in progress or original initiatives, even if some further developments would be needed. The submitted articles must be anonymous: they shall not mention the authors, or obvious references to them. The layout must comply with Springer LNCS format. The page limit is 16. Up to 12 pages of additional supporting information may be provided, but committee members will read this information at their discretion, so the paper should be intelligible and self-contained within the 16 page limit required for the camera-ready version.

Pre-proceedings will be available timely for the workshop. Formal post-proceedings of selected accepted papers will then be published formally in a Special Section of the Journal of Cryptographic Engineering (JCEN).

The submission website is:


Institut Mines-Telecom
Secure-IC S.A.S.
Koc Lab