Exploring formal methods for cryptographic hash function implementations

DOI10.1007/978-3-031-35486-1_9zbMATH Open1545.94075MaRDI QIDQ6535484

Nicky Mouha

Publication date: 11 January 2024

zbMATH Keywords

hash functionGrøstlSHA-3KeccakBLAKECoreCrypto

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Cites Work

• Unintended features of APIs: cryptanalysis of incremental HMAC
• Tools and Algorithms for the Construction and Analysis of Systems
• A Decision Procedure for Bit-Vectors and Arrays
• Finding Collisions in the Full SHA-1
• A vulnerability in implementations of SHA-3, SHAKE, EdDSA, and other NIST-approved algorithms

This page was built for publication: Exploring formal methods for cryptographic hash function implementations