PROOFS 2022: 11th International Workshop on Security Proofs for Embedded Systems KU Leuven Leuven, Belgium, September 22, 2022 |
Conference website | https://www.proofs-workshop.org/2022 |
Submission link | https://easychair.org/conferences/?conf=proofs2022 |
Abstract registration deadline | July 29, 2022 |
Submission deadline | July 29, 2022 |
This year, the workshop of PROOFS 2022 will take place as a hybrid conference, on site and via video-conferencing.
PROOFS 2022
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.
This year, we solicit research papers on topics covering well-motivated computer security problems. Techniques which identify real-world threats, detect them, mitigate them or analyse the consequences will remain the major target of the workshop.
Submission Guidelines
Submitted papers are limited to 15 pages in EPiC style. The papers can be submitted via easychair.
List of Topics
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
- Intrusion detection and prevention
- Information leakage models
- Tamper-resistant hardware
- Countermeasure against hardware Trojan horses
- Early leakage detection, e.g. based on simulators
- Vulnerability assessment techniques for side channels
- Synergies between security and reliability
- On-chip monitoring of physical attacks
- Case studies and industrial practice for secure design
- Cyber physical systems security and threats against critical infrastructures
Committees
Program Committee
- Ludovic Apvrille (Télécom Paris)
- Khurram Bhatti (ITU Lahore)
- Damien Courossé (CEA)
- Giorgio Di Natale (CNRS)
- Naofumi Homma (Tohoku University)
- Cetin Koc (University of California Santa Barbara)
- Ulrich Kühne (Télécom Paris)
- Vianney Lapotre (University Bretagne-Sud)
- Letitia Li (BAE Systems)
- Loïc Masure (KU Leuven)
- Maria Mushtaq (Télécom Paris)
- Changhai Ou (Nanyang Technological University)
- Stjepan Picek (Radboud University)
- Ilia Polian (University of Stuttgart)
- Francesco Regazzoni (ALaRI - USI, Switzerland)
- Nicolas Sklavos (Univsersity of Patras)
- Fan Zhang (Zhejiang University)
The invitations for the program committee are still ongoing.
Organizing Committee
- General Chair: Ulrich Kühne (Télécom Paris, France)
- Program Chair: Maria Mushtaq (Télécom Paris, France)
Steering Committee
- Jean-Luc Danger (Télécom Paris, France)
- Sylvain Guilley (Secure-IC / Télécom Paris, France)
- Çetin Kaya Koç (UCSB, USA)
- David Naccache (ENS, France)
- Akashi Satoh (UEC, Japan)
- Werner Schindler (BSI, Germany)
Venue
KU Leuven.
Publication
As in previous years, there will be online open access proceedings of PROOFS. Additionally, Revised versions of the accepted papers are published in a special issue of the Journal of Cryptographic Engineering (JCEN).
Contact
All questions about submissions should be emailed to proofs2022 AT easychair DOT org.