Exploring formal methods for cryptographic hash function implementations

DOI10.1007/978-3-031-35486-1_9MaRDI QIDQ6535484zbMATH OpenFDO

Authors Nicky Mouha

Publication date 11 January 2024

Full work available at URL https://doi.org/10.1007/978-3-031-35486-1_9

zbMATH Keywords

BLAKECoreCryptoGrøstlhash functionKeccakSHA-3

Mathematics Subject Classification ID

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

Recommendations

• Cryptographic hash functions: theory and practice
• Formal verification of side-channel countermeasures using self-composition
• scientific article; zbMATH DE number 1941230
• Practical Formal Methods for Real World Cryptography (Invited Talk)
• Hardware implementation analysis of SHA-256 and SHA-512 algorithms on FPGAs

Cites work

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535484)