PROOFS 2018: 7th International Workshop on Security Proofs for Embedded Systems Amsterdam, Netherlands, September 13, 2018 |
| Conference web page | http://www.proofs-workshop.org/ |
| Submission link | https://easychair.org/conferences/?conf=proofs2018 |
| Abstract registration deadline | July 2, 2018 |
| Submission deadline | July 6, 2018 |
PROOFS 2018
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), 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
- David Aspinall (University of Edinburgh)
- Manuel Barbosa (HASLab - INESC TEC and FCUP)
- Shivam Bhasin (Temasek Labs@NTU)
- Begul Bilgin (Rambus Cryptography Research and KU Leuven)
- Lukasz Chmielewski (Riscure)
- Giorgio Di Natale (LIRMM)
- François Dupressoir (University of Surrey)
- Sebastian Faust (TU Darmstadt)
- Tim Güneysu (Ruhr-Universität Bochum & DFKI)
- Annelie Heuser (CNRS/IRISA)
- Naofumi Homma (Tohoku University)
- Kerstin Lemke-Rust (Bonn-Rhein-Sieg University of Applied Sciences)
- Debdeep Mukhopadhyay (IIT Kharagpur)
- Stjepan Picek (Delft University of Technology)
- Ilia Polian (University of Stuttgart)
- Erik Poll (Radboud University)
- Axel Poschmann (DarkMatter)
- Francesco Regazzoni (ALaRI - USI)
- Peter Schwabe (Radboud University)
- Mehdi Tibouchi (NTT)
- Gilles Van Assche (STMicroelectronics)
Organizing committee
- General chair: Ulrich Kühne (Télécom ParisTech, France)
- Program chairs:
- Lejla Batina (Radboud University, the Netherlands)
- Nele Mentens (KU Leuven, Belgium)
Venue
The conference will be held in Amsterdam in co-location with CHES 2018.
Contact
All questions about submissions should be emailed to Lejla Batina (lejla@cs.ru.nl) and Nele Mentens (nele.mentens@kuleuven.be).