posted by user: lli || 3135 views || tracked by 4 users: [display]

PROOFS 2019 : 8th International Workshop on Security Proofs for Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://www.proofs-workshop.org/2019/
 
When Aug 24, 2019 - Aug 24, 2019
Where Atlanta GA, USA
Submission Deadline Jun 14, 2019
Notification Due Jul 15, 2019
Final Version Due Aug 15, 2019
Categories    security   embedded systems   formal methods   cryptography
 

Call For Papers

The goal of the PROOFS workshop is to promote methodologies that increase the confidence in the security of embedded systems, especially those which contain cryptographic algorithms. Concretely, the PROOFS workshop seeks contributions in both theory and practice of methods and tools applied to the security of embedded systems. Examples include (semi-)formal methods, simulation-based leakage evaluation and security checks, protocol verification techniques, test and verification of secure embedded systems (software and hardware), and provable security for physical attacks.

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 August 24th, in Atlanta, USA.

Early Registration until July 15: https://proofs19.sciencesconf.org/


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


Related Resources

CPP 2021   Certified Programs and Proofs
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
CPP 2020   Certified Programs and Proofs
IWCSP 2021   2021 International Workshop on Cryptography, Security and Privacy (IWCSP 2021)
ACNS 2021   19th International Conference on Applied Cryptography and Network Security
SI: Advanced Technology for IE 2022   Special Issue: Secure and Advanced Technology for Intelligent Environments
IEEE 14th MCSoC 2021   14th IEEE International Symposium on Embedded Multicore/Manycore (MCSoC 2021)
IJNSA 2020   International Journal of Network Security & Its Applications- ERA Listed
Elec-SI-IIDS 2021   Special Issue on Design of Intelligent Intrusion Detection Systems
JISA-CYBER-SEC 2020   Special Issue on Trends in Cybersecurity, Journal of Information Security and Applications, Elsevier