Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5.

Florian Legendre Gilles Dequen Michaël Krajecki

Published in: IACR Cryptol. ePrint Arch. (2014)

Keyphrases

logical reasoning
formal semantics
detection method
detection algorithm
automatic detection
data sets
databases
data mining
neural network
software development
modeling language