Exploring SAT for Cryptanalysis: (Quantum) Collision Attacks against 6-Round SHA-3

Jian Guo 0001, Guozhen Liu, Ling Song 0001, Yi Tu. Exploring SAT for Cryptanalysis: (Quantum) Collision Attacks against 6-Round SHA-3. IACR Cryptology ePrint Archive, 2022:184, 2022. [doi]

Abstract

Abstract is missing.