USENIX Security '23 - Hash Gone Bad: Automated discovery of protocol attacks that exploit hash...

USENIX Security '23 - Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses

Vincent Cheval, Inria Paris; Cas Cremers and Alexander Dax, CISPA Helmholtz Center for Information Security; Lucca Hirschi, Inria & LORIA; Charlie Jacomme, Inria Paris; Steve Kremer, Université de Lorraine, LORIA, Inria Nancy Grand-Est
Distinguished Paper Award Winner

Most cryptographic protocols use cryptographic hash functions as a building block. The security analyses of these protocols typically assume that the hash functions are perfect (such …

amp attacks automated bad center dax discovery exploit function hash hash function information information security paris protocol security steve usenix usenix security weaknesses