Open AccessAnalysis of AES, SKINNY, and Others with Constraint Programming
Author(s) -
Siwei Sun,
David Gérault,
Pascal Lafourcade,
Qianqian Yang,
Yosuke Todo,
Kexin Qiao,
Lei Hu
Publication year - 2017
Publication title -
iacr transaction on symmetric cryptology
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.715
H-Index - 10
ISSN - 2519-173X
DOI - 10.46586/tosc.v2017.i1.281-306
Subject(s) - computer science , solver , constraint programming , constraint satisfaction problem , key (lock) , cryptanalysis , block cipher , branch and bound , block (permutation group theory) , constraint satisfaction , heuristic , satisfiability , theoretical computer science , mathematical optimization , algorithm , mathematics , cryptography , programming language , artificial intelligence , computer security , geometry , probabilistic logic , stochastic programming