Group Verification Based Multiple-Differential Collision Attack.

Changhai Ou Zhu Wang Degang Sun Xinping Zhou Juan Ai

Published in: ICICS (2016)

Keyphrases

image sequences
model checking
countermeasures
collision avoidance
database
neural network
search engine
decision trees
case study
multi agent
formal verification