The propagation game: on simulatability, correlation matrices, and probing security

ePrint Report: The propagation game: on simulatability, correlation matrices, and probing security

Vittorio Zaccaria

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 …

algebra analysis attacks channel correlation eprint report game interference non probe report reports researchers security side-channel side-channel attacks terms tool work