传播博弈：论可模拟性、相关矩阵与探测安全性
密码学与安全
2023-03-02 v1
摘要
本工作面向侧信道攻击、对策分析和探测安全领域的研究人员。它报告了以范畴性质形式化的可模拟性，我们认为这将为从业者工具箱提供有用的工具。该形式化使我们能够以更简单的方式重新审视一些现有定义（例如探测隔离无干扰），对应于\prop{}范畴图示语言中\textit{erase态射}的传播。从理论角度，我们阐明了可模拟性的概率定义和基于矩阵的光谱方法。在实践中，这可能意味着可以构建潜在更好的工具。读者将发现一种不同的、或许不那么牵强的可模拟性定义，这可能启用新形式的推理。本工作不涵盖所提出工具的任何实际实现，这留待未来工作。
引用
@article{arxiv.2303.00580,
title = {The propagation game: on simulatability, correlation matrices, and probing security},
author = {Vittorio Zaccaria},
journal= {arXiv preprint arXiv:2303.00580},
year = {2023}
}
备注
12 pages, 3 figures