Share your thoughts, 1 month free Claude Pro on usSee more

Information Flow Verification on Modexp

0.2Runtime (seconds)

SecIC3 Best

Updated 1mo ago

Evaluation Results

Method	Links
SecIC3 Best 2026.06		0.2
Base rIC3 2026.06		0.3
S+g-Maxl 2026.06		0.3
S+g-StSpl 2026.06		0.3
g-StSpl 2026.06		0.4
g-AoN 2026.06		0.6
g-Maxl 2026.06		0.6
g-Maxm 2026.06		0.6
g-Hyb 2026.06		0.6