文件名称：RSAT:在RSA上执行SAT攻击的脚本-开源
文件大小：10.61MB
文件格式：ZIP
更新时间：2024-05-18 13:14:44
开源软件
SAT解算器越来越多地用于部分密钥公开攻击中。 该脚本的作用是表明SAT求解器可以用于RSA的部分密钥公开攻击，并且效果非常好。
【文件预览】：
clasp2
SatELite
ebminisat
coprocessor
rsat.py
cryptominisat-snt-st
precosat
Spear-32_121
mxc-sat09
minisatpsm
documentation.pdf
manysat2.0
revival
factoring_j.py
lr_gl_shr
factoring_j.pyc
glucose
picosat
minisat2.2
ebglucose
glueminisat