Due to the current situation of COVID-19, the workshop of PROOFS 2021 will go online together with CHES 2021 this year. The workshop organizers are waiting for the official technical solution for IACR.

PROOFS 2021

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
• Countermeasure against hardware Trojan horses
• Early leakage detection, e.g. based on simulators
• Synergies between security and reliability
• On-chip monitoring of physical attacks
• Case studies and industrial practice for secure design

Committees

Program Committee

• Ludovic Apvrille (Telecom ParisTech)
• Shivam Bhasin (Temasek Labs@NTU)
• Olivier Bronchain (UCL)
• Lei Bu (Nanjing University)
• Guo Chun (IIE,CAS)
• Naofumi Homma (Tohoku University)
• Cetin Koc (University of California Santa Barbara)
• Quentin Meunier (Université Pierre et Marie Curie)
• Debdeep Mukhopadhyay (IIT Kharagpur, India)
• Changhai Ou (Nanyang Technological University)
• Guilherme Perin (LIRMM)
• Francesco Regazzoni (ALaRI - USI (Switzerland))
• Fu Song (ShanghaiTech University)
• Gilles Van Assche (STMicroelectronics)
• An Wang (Beijing Institute of Technology)
• Xiaofei Xie (Kyushu University)
• Yongwang Zhao (Zhejiang University)

Organizing Committee

• General Chair: Ulrich Kühne (Télécom ParisTech, France)
• Program Chair: Fan Zhang (Zhejiang University, China)

Steering Committee

• Jean-Luc Danger (Télécom ParisTech, France)
• Sylvain Guilley (GET/ENST, CNRS/LTCI, 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 proofs2021 AT easychair DOT org.