Geodesic
Guess-and-determine attacks and automatic methods for their construction
Prikladnaya Diskretnaya Matematika. Supplement, no. 11 (2018), pp. 81-86

Voir la notice de l'article provenant de la source Math-Net.Ru

In the paper, a brief review of approaches to construction of cryptographic attacks from the class “guess-and-determine” is presented. The main focus is done on recent works, in which some automatic methods for constructing SAT-based guess-and-determine attacks were proposed. With that purpose, the problems of constructing corresponding attacks are stated as optimization problems for specific evaluation functions over Boolean hypercube. To solve the latter, the metaheuristic algorithms widely employed in discrete optimization are used. In the mentioned papers, two types of evaluation functions were formally introduced. Those can be viewed as concretizations of the notions of “UNSAT-immunity” and “SAT-immunity” informally introduced by N. Courtois in 2012. Within the report, several examples of constructing guess-and-determine attacks of the mentioned type on a number of block and stream ciphering algorithms will be given.
Keywords: guess-and-determine attacks, Boolean satisfiability problem, SAT. 
@article{PDMA_2018_11_a25,
     author = {A. A. Semenov},
     title = {Guess-and-determine attacks and automatic methods for their construction},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {81--86},
     publisher = {mathdoc},
     number = {11},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2018_11_a25/}
}
TY  - JOUR
AU  - A. A. Semenov
TI  - Guess-and-determine attacks and automatic methods for their construction
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2018
SP  - 81
EP  - 86
IS  - 11
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2018_11_a25/
LA  - ru
ID  - PDMA_2018_11_a25
ER  - 
%0 Journal Article
%A A. A. Semenov
%T Guess-and-determine attacks and automatic methods for their construction
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2018
%P 81-86
%N 11
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2018_11_a25/
%G ru
%F PDMA_2018_11_a25
A. A. Semenov. Guess-and-determine attacks and automatic methods for their construction. Prikladnaya Diskretnaya Matematika. Supplement, no. 11 (2018), pp. 81-86. http://geodesic.mathdoc.fr/item/PDMA_2018_11_a25/