DeepAI AI Chat
Log In Sign Up

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

by   Vittorio Zaccaria, et al.
Politecnico di Milano

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 categorical 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 in the diagrammatic language of categories. 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.


page 1

page 2

page 3

page 4


Predicate Logic with Definitions

Predicate Logic with Definitions (PLD or D-logic) is a modification of f...

New Problems and Solutions in IoT Security and Privacy

In a previous article for S P magazine, we made a case for the new int...

Composable and Finite Computational Security of Quantum Message Transmission

Recent research in quantum cryptography has led to the development of sc...

City limits in the age of smartphones and urban scaling

Urban planning still lacks appropriate standards to define city boundari...

Deposit schemes for incentivizing behavior in finite games of perfect information

We propose a model for finite games with deposit schemes and study how t...

An extended and more practical mwp flow analysis

We improve and refine a method for certifying that the values' sizes com...

The matrix taxonomy of left exact categories

This paper is concerned with the problem of classifying left exact categ...