8th International Workshop on Security Proofs for Embedded Systems
PROOFS 2019
- URL: http://www.proofs-workshop.org/2019/
- Event Date: 2019-08-24 ~ 2019-08-24
- Abstract Submission Date: 2019-05-31
- Submission Date: 2019-06-07
- Location: Atlanta, United States of America
Computer Security & Cryptography
The workshop is co-located with the Conference on Cryptographic Hardware and Embedded Systems (CHES). It will take place one day before the main conference, on September 24th, in Atlanta, USA.
Conference website: http://www.proofs-workshop.org/
Online CFP: https://easychair.org/cfp/proofs2019
Submission link: https://www.easychair.org/conferences/?conf=proofs2019
Topics of interest include, but are not limited to, the following:
• (Automated) security proofs
• Applications of formal methods in security
• Protocol verification
• Security evaluation of real-world systems
• Leakage-resilient cryptography
• Side-channel analysis and countermeasures
• Fault attacks and defenses
• Information leakage models
• Tamper-resistant hardware
• Early leakage detection, e.g. based on simulators
• Synergies between security and reliability
• On-chip monitoring of physical attacks
Important dates:
• Abstract submission: May 31, 2019
• Full paper submission: June 7, 2019
• Notification: July 15, 2019
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
