PROOFS 2020: 9th International Workshop on Security Proofs for Embedded Systems World Wide Web September 13, 2020 |
Conference website | http://www.proofs-workshop.org/2020/ |
Submission link | https://easychair.org/conferences/?conf=proofs2020 |
Submission deadline | July 19, 2020 |
Author notification date | August 19, 2020 |
Camera Ready deadline | September 1, 2020 |
Due to the current situation of COVID-19, the workshop of PROOFS 2020 will go online together with CHES 2020 this year. The workshop organizers are waiting for the official technical solution for IACR.
PROOFS 2020
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.
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
- 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
Committees
Program Committee
- Manuel Barbosa (HASLab - INESC TEC and FCUP)
- Letitia Li (BAE Systems)
- Annelie Heuser (CNRS/IRISA)
- Francesco Regazzoni (ALaRI - USI)
- Shivam Bhasin (Temasek Labs@NTU)
- Quentin Meunier (Université Pierre et Marie Curie)
- Debdeep Mukhopadhyay (IIT Kharagpur)
- Fatemeh Ganji (Florida Institute for Cybersecurity Research)
- Kerstin Lemke-Rust (Bonn-Rhein-Sieg University of Applied Sciences)
- Erik Poll (Radboud University)
- Gilles Van Assche
- Ilia Polian (University of Stuttgart)
- Renaud Pacalet (TELECOM ParisTech)
- Lukasz Chmielewski (Riscure)
- Damien Couroussé (CEA)
- Stjepan Picek (Delft University of Technology)
- Naofumi Homma (Tohoku University)
- Ludovic Apvrille (Telecom ParisTech)
- David Aspinall (The University of Edinburgh)
- Sylvain Guilley (Secure IC, France)
- Yongwang Zhao (Beihang University)
- An Wang (Beijing Institute of Technology)
- Ziqi Yang (National University of Singapore)
- Changhai Ou (Nanyang Technological University)
Organizing Committee
- General chair: Ulrich Kühne (Télécom ParisTech, France)
- Program chair: Fan Zhang (Zhejiang University, China)
Steering Committee
- Sylvain Guilley (Secure-IC, France)
- Çetin Kaya Koç (UCSB, USA)
- David Naccache (ENS, France)
- Akashi Satoh (UEC, Japan)
- Werner Schindler (BSI, Germany)
Venue
World Wide Web
Publication
The proceedings of the previous editions of PROOFS are available online in the Kalpa Publications in Computing. We plan to publish this year's proceedings in the same open access series. 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 proofs2020 AT easychair DOT org.