PROOFS: Security Proofs for Embedded Systems
Copyright: Marco Mertens
Leuven, Belgium — Thursday, September 13rd, 2012
Call for Papers
The workshop will feature contributed talks, three invited talks, and a "work in progress" session.
The call for papers (CfP) is available there:
For the "work in progress" session, please send an abstract (maximum 2 pages) by email to proofs2012 AT easychair.org. It shall contain:
- A title;
- The list of authors, with the corresponding author clearly marked;
- A summary of the talk, including the problem statement and some indications of the solution. On-going works are especially welcomed.
- WiP submissions are welcomed until September 6th, 2012. Notification of acceptance/rejection for the WiP session is sent at most one week after the reception of the submission.
Invited talks will be given by:
- Prof. Werner Schindler, BSI and CASED.
- Naofumi Homma, Associate Professor, Graduate School of Information Sciences, Tohoku University.
- Graham Steel, Research Fellow, INRIA.
