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