International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

On the spectral features of robust probing security

Authors:
Maria Chiara Molteni , Dipartimento di Informatica "Giovanni Degli Antoni" Università degli Studi di Milano, Italy
Vittorio Zaccaria , Department of Electronics, Information and Bioengineering Politecnico di Milano, Italy
Download:
DOI: 10.13154/tches.v2020.i4.24-48
URL: https://tches.iacr.org/index.php/TCHES/article/view/8676
Search ePrint
Search Google
Presentation: Slides
Abstract: In this work we provide a spectral formalization of non-interference in the presence of glitches. Our goal is to present new theoretical and practical tools to reason about robust-d-probing security. We show that the current understanding of extended probes lends itself to probes that participate, during gadget composition, to the creation of additional extended probes. In turn, this enables a natural extension of non-interference definitions into robust ones to build a new reasoning framework that can formally explain some semi-formal results already appeared in the past and be used to synthesize new robust-d-SNI gadgets.
Video from TCHES 2020
BibTeX
@article{tches-2020-30547,
  title={On the spectral features of robust probing security},
  journal={IACR Transactions on Cryptographic Hardware and Embedded Systems},
  publisher={Ruhr-Universität Bochum},
  volume={2020, Issue 4},
  pages={24-48},
  url={https://tches.iacr.org/index.php/TCHES/article/view/8676},
  doi={10.13154/tches.v2020.i4.24-48},
  author={Maria Chiara Molteni and Vittorio Zaccaria},
  year=2020
}