Paper 2023/242
The propagation game: on simulatability, correlation matrices, and probing security
, Politecnico di MilanoAbstract
This work is intended for researchers in the field of side-channel attacks, countermeasure analysis, and probing security. It reports on a formalization of simulatability in terms of linear algebra properties, which we think will provide a useful tool in the practitioner toolbox. The formalization allowed us to revisit some existing definitions (such as probe isolating non-interference) in a simpler way that corresponds to the propagation of erase morphisms. From a theoretical perspective, we shed light into probabilistic definitions of simulatability and matrix-based spectral approaches. This could mean, in practice, that potentially better tools can be built. Readers will find a different, and perhaps less contrived, definition of simulatability, which could enable new forms of reasoning. This work does not cover any practical implementation of the proposed tools, which is left for future work.
Metadata
- Available format(s)
-
PDF
- Category
- Attacks and cryptanalysis
- Publication info
- Preprint.
- Keywords
- side-channel attacksWalsh transformcategory theorycorrelation matricesstring diagramsprop categories
- Contact author(s)
- vittorio zaccaria @ polimi it
- History
- 2023-02-21: approved
- 2023-02-21: received
- See all versions
- Short URL
- https://ia.cr/2023/242
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2023/242,
author = {Vittorio Zaccaria},
title = {The propagation game: on simulatability, correlation matrices, and probing security},
howpublished = {Cryptology {ePrint} Archive, Paper 2023/242},
year = {2023},
url = {https://eprint.iacr.org/2023/242}
}
