Exploring Formal Methods for Cryptographic Hash Function Implementations.
Nicky MouhaPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- hash functions
- formal methods
- similarity search
- model checking
- knowledge based systems
- formal specification
- artificial intelligence
- data distribution
- hash table
- locality sensitive hashing
- hashing algorithm
- software engineering
- hamming distance
- knowledge representation
- databases
- data sets
- hashing methods
- block cipher
- database