PROOFS: Security Proofs for Embedded Systems

PROOFS 2013

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 proofs2013 AT easychair.org. It shall contain:

PROOFS 2013


Sponsors


TELECOM-ParisTech
Secure-IC S.A.S.