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: https://www.easychair.org/conferences/?conf=proofs2016. For more information, please see http://www.proofs-workshop.org/