Generic Indifferentiability Proofs of Hash Designs.

Marion Daubignard Pierre-Alain Fouque Yassine Lakhnech

Published in: CSF (2012)

Keyphrases

theorem proving
knowledge base
web services
domain specific
generic model
formal proofs
data sets
real world
information retrieval
data structure
evolutionary algorithm
data points
hash functions
locality sensitive hashing