CryptoSMT

CryptoSMT是一个易于使用的工具，用于对称原语的密码分析，如分组密码或哈希函数。它基于SMT/SAT求解器，如STP, Boolector，CryptoMiniSat，并提供了一个简单的框架来使用它们进行密码分析技术。 其中一些特点是: *关于原语微分行为的证明性质。 *寻找最佳的线性/微分路 ......