传播博弈：关于可模拟性、相关矩阵和探测安全性
The propagation game: on simulatability, correlation matrices, and probing security
摘要：
这项工作是为研究人员在侧信道攻击，对策分析和探测安全领域。它报告的形式化的可模拟性的分类属性，我们认为这将提供一个有用的工具，在从业者的工具箱。形式化使我们能够以一种更简单的方式重新审视一些现有的定义（如探针隔离非干扰），该方式对应于\prop{}类别的图形语言中的\textit{erase morphisms}的传播。从理论的角度来看，我们揭示了概率定义的可模拟性和基于矩阵的光谱方法。这可能意味着，在实践中，可以建立潜在的更好的工具。读者会发现一个不同的，也许不那么做作的，可模拟性的定义，这可能使新的形式的推理。这项工作不包括拟议工具的任何实际实施，这是留给今后的工作。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
