PROOFS: Security Proofs for Embedded Systems


Leuven, Belgium — Thursday, September 13rd, 2012

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 will then be published formally and the best possible indexation techniques will be applied.

The submission website is: