PROOFS: Security Proofs for Embedded Systems
 
  | 
 | 
Registration webpage is open
List of accepted papers is available
Important dates
| • Submission deadline (abstracts): | (closed) | 
| • Submission deadline (full papers): | (closed) | 
| • Registration site opening: | (open) | 
| • Authors notification: | (sent) | 
| • Final version due: | Sunday August 23, 2015 | 
| • PROOFS welcome dinner: | Wednesday September 16, 2015 (see more) | 
| • PROOFS workshop venue: | Thursday September 17, 2015 (see more) | 
 
    



