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) |



