Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer. Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. IACR Cryptology ePrint Archive, 2022:1314, 2022. [doi]
Abstract is missing.