PROOFS 2006 
Fifth international workshop on Security Proofs for Embedded Systems, 
Santa Barbara, California, USA, 
August 20, 2016. 
(Submissions due 4 June 2016). 

This workshop, the fifth in an annual series, brings together leading
researchers and practitioners from academia, government, and industry
to discuss the application of formal methods to the field of embedded
systems security.

PROOFS seeks contributions about methodologies that increase the
confidence level in the security of embedded systems, especially those
which contain cryptographic algorithms. Exploratory works and
use-cases are especially welcomed.

Topics of interest (non-exhaustive list):

- formal methods
- cryptography
- hardware security
- software security
- protection profiles
- code verification

 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:

For more information, please see