Conditional-Affine Redundant Clauses for SHA-256 Differential SAT

Jiqiang Feng, Kun Gao. Conditional-Affine Redundant Clauses for SHA-256 Differential SAT. IACR Cryptology ePrint Archive, 2026:1505, 2026. [doi]

Abstract

Abstract is missing.