Automated Search for Block Cipher Differentials: A GPU-Accelerated Branch-and-Bound Algorithm.
Wei-Zhu YeohJe Sen TehJiageng ChenPublished in: ACISP (2020)
Keyphrases
- branch and bound algorithm
- gpu accelerated
- branch and bound
- lower bound
- variable ordering
- search algorithm
- np hard
- search space
- optimal solution
- upper bound
- combinatorial optimization
- randomly generated problems
- upper bounding
- precedence constraints
- finite element
- lower bounding
- block cipher
- single machine scheduling problem
- end to end
- particle swarm optimization
- max sat
- special case
- objective function
- finding an optimal solution