PROOFS 2021: Editor's Preface

This volume contains the papers presented at PROOFS 2021, the 10th International Workshop on Security Proofs for Embedded Systems held on September 16, 2021 as a virtual conference.

There were 11 submissions. Each submission was reviewed on the average by 3.1 program committee members. The committee decided to accept 6 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 formal and semi-formal methods, novel side-channel or fault attacks, 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, and design tools for early security assessment.

We would like to thank the authors for their contribution to PROOFS, as well as the program committee members and external reviewers for their expertise. A special thanks goes to Sun Jun who gave an excellent keynote speach on trustworthy AI.


Ulrich Kühne
Fan Zhang
September 15, 2022
Paris