用于建模有界二进制电路的等式理论
密码学与安全
2025-07-30 v1
摘要
本文提出了一类具有有限变体性质的有界二进制电路的等式理论。这些理论可作为密码学原语实现的构建模块，用于在符号模型中自动发现作为二进制电路的攻击。我们提供了该等式理论与布尔逻辑等价性的证明（电路规模至3），并给出变体复杂度和使用Maude-NPA的性能基准。这是该方向的第一个结果，后续研究需要改进该方法的可扩展性。
引用
@article{arxiv.2507.21731,
title = {Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits},
author = {Michiel Marcus and Frank Westers and Anne Nijsten},
journal= {arXiv preprint arXiv:2507.21731},
year = {2025}
}