CryptoMiniSat 开关优化用于求解密码学实例
密码学与安全
2021-12-23 v1
摘要
通过数百次测试运行和源代码分析，我们经验性地为 CryptoMiniSat (CMS) 5 确定了改进的的参数配置，用于求解源自 Small AES-64 模型密码 SR 三轮加密的代数已知明文攻击所产生的密码学 CNF 实例。我们最终能够在不到一小时的真实时间内重建 64 位长密钥，据我们所知，这在此前从未实现过。特别是，没有任何关于密钥位的假设或先验知识（例如以侧信道形式，如 \cite{Mohamed2012algebraicSCA} 中那样）。我们对非确定性求解器运行时间进行了统计分析，并定义了命令行参数组合以产生最佳运行时间，其初始中位数从不到一小时到几小时不等。我们随后使用自动算法配置（AAC）工具系统地扩展搜索以获得更好的求解器配置，并成功交付了更短的求解时间。在这项工作中，我们详细阐述了为以可追踪和可复现的方式达到结果所遵循的系统方法。我们研究的最终重点是查明 CMS 在适当调优后是否确实能够攻击比此处所解问题更大更难的问题。对于密码学研究领域，与找到问题解的实际可行性相比，求解时间的长短起着次要作用。此处所呈现结果的前景可扩展性是进一步研究的对象。
引用
@article{arxiv.2112.11484,
title = {CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances},
author = {A. -M. Leventi-Peetz and O. Zendel and W. Lennartz and K. Weber},
journal= {arXiv preprint arXiv:2112.11484},
year = {2021}
}