CDCL(Crypto) SAT Solvers for Cryptanalysis

27 May 2020

Papers citing "CDCL(Crypto) SAT Solvers for Cryptanalysis"

3 / 3 papers shown

Title
SHA-256 Collision Attack with Programmatic SAT Nahiyan Alamgir Saeed Nejati Curtis Bright 20 2 0 28 Jun 2024
Inverting Cryptographic Hash Functions via Cube-and-Conquer O. Zaikin 40 3 0 05 Dec 2022
Augment with Care: Contrastive Learning for Combinatorial Problems Haonan Duan Pashootan Vaezipoor Max B. Paulus Yangjun Ruan Chris J. Maddison SSL 62 21 0 17 Feb 2022