Geodesic
Construction of cryptographic Boolean functions using SAT-solvers
Prikladnaya Diskretnaya Matematika. Supplement, no. 13 (2020), pp. 129-132

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

In this paper, we propose a method for solving some cryptographic problems based on translation them into SAT-problems and application of SAT-solvers. We introduce construction of several formulas defining conditions of one-to-one property and differential uniformity of vectorial Boolean functions.
Keywords: SAT-solvers, cryptography, Boolean functions. 
@article{PDMA_2020_13_a37,
     author = {A. E. Doronin and K. V. Kalgin},
     title = {Construction of cryptographic {Boolean} functions using {SAT-solvers}},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {129--132},
     publisher = {mathdoc},
     number = {13},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2020_13_a37/}
}
TY  - JOUR
AU  - A. E. Doronin
AU  - K. V. Kalgin
TI  - Construction of cryptographic Boolean functions using SAT-solvers
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2020
SP  - 129
EP  - 132
IS  - 13
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2020_13_a37/
LA  - ru
ID  - PDMA_2020_13_a37
ER  - 
%0 Journal Article
%A A. E. Doronin
%A K. V. Kalgin
%T Construction of cryptographic Boolean functions using SAT-solvers
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2020
%P 129-132
%N 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2020_13_a37/
%G ru
%F PDMA_2020_13_a37
A. E. Doronin; K. V. Kalgin. Construction of cryptographic Boolean functions using SAT-solvers. Prikladnaya Diskretnaya Matematika. Supplement, no. 13 (2020), pp. 129-132. http://geodesic.mathdoc.fr/item/PDMA_2020_13_a37/