Branching Heuristics in Differential Collision Search with Applications to SHA-512.
Maria EichlsederFlorian MendelMartin SchläfferPublished in: FSE (2014)
Keyphrases
- search algorithm
- tree search
- branch and bound
- search strategies
- search space
- search methods
- variable ordering
- search tools
- heuristic search
- search tree
- iterative deepening
- search effort
- neural network
- pattern databases
- collision detection
- heuristic function
- search problems
- search strategy
- user queries
- objective function