Exploring Formal Methods for Cryptographic Hash Function Implementations.
Nicky MouhaPublished in: ACISP (2023)
Keyphrases
- hash functions
- formal methods
- similarity search
- model checking
- locality sensitive hashing
- knowledge based systems
- hashing algorithm
- software engineering
- formal specification
- hamming distance
- security properties
- secret key
- artificial intelligence
- nearest neighbor search
- modeling language
- encryption scheme
- hash table
- binary codes
- data distribution
- multi dimensional
- hashing methods
- block cipher
- provably secure
- expert systems