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.

翻译：这项工作是针对侧道攻击、反措施分析和探查安全领域的研究人员进行的,报告在绝对特性方面将可模拟性正规化,我们认为这将在实践者工具箱中提供一个有用的工具。正式化使我们得以以更简便的方式重新审视一些现有定义(例如探测不干预),这与在\proc<unk> 类类图表语言中传播\ textit{erase形态主义相对应。从理论角度,我们揭示了可模拟性和基于矩阵的光谱方法的概率性定义。这可能意味着在实践上可以建立可能更好的工具。读者会找到不同的、也许不那么巧妙的、可以促成新形式推理的可混合性定义。这项工作并不涵盖拟议工具的任何实际实施,而这些工具留给未来工作。</s>