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 \textit{erase morphisms} in the diagrammatic language of \prop{} 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.

翻译：本文面向侧信道攻击、对策分析及探测安全领域的研究人员。我们提出了一种基于范畴论性质的可模拟性形式化描述，认为这将为实践工作提供实用工具。该形式化使我们能以更简洁的方式重新审视某些现有定义（如探测隔离非干扰性），其本质对应了传播范畴图解语言中的擦除态射传播。从理论角度，我们阐明了可模拟性的概率定义与基于矩阵的谱方法。这在实践中可能意味着能够构建更优的工具。读者将发现一种不同且更自然的可模拟性定义，可催生新型推理方式。本文不涉及所提工具的具体实现，相关工作留待未来开展。