Construction of cryptographic boolean functions using SAT-solvers | Applied Discrete Mathematics. Supplement. 2020. № 13. DOI: 10.17223/2226308X/13/38

Construction of cryptographic boolean functions using SAT-solvers

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.

Download file

Counter downloads: 93

Keywords

SAT-решатели, криптография, булевы функции, SAT-solvers, cryptography, Boolean functions

Authors

Name	Organization	E-mail
Doronin A. E.	Novosibirsk State University	artem96dor@gmail.com
Kalgin K. V.	Institute of Computational Mathematics and Mathematical Geophysics SB RAS; S. L. Sobolev Institute of Mathematics SB RAS; Novosibirsk State University	kalginkv@gmail.com

Всего: 2

References

Огородников Ю. Ю. Комбинированная атака на алгоритм RSA с использованием SAT-подхода // Динамика систем, механизмов и машин. Омск: ОмГТУ, 2016. С. 276-284.

Заикин О. С., Отпущенников И. В., Семёнов А. А. Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости // Прикладная дискретная математика. Приложение. 2016. №9. С. 46-48.

Schmittner S. E. A SAT-based Public Key Cryptography Scheme. IACR Cryptol. ePrint Arch. 2015. https://eprint.iacr.org/2015/771.pdf.

Wille R., Lye A., and Niemann P. Checking reversibility of Boolean functions // LNCS. 2016. V. 9720. P. 322-337.