A. E. Doronin, K. V. Kalgin, “Application of SAT solvers to the problem of finding vector Boolean functions with required cryptographic properties”, Diskretn. Anal. Issled. Oper., 29:4 (2022), 38–58
2020
2.
A. E. Doronin, K. V. Kalgin, “Construction of cryptographic Boolean functions using SAT-solvers”, Prikl. Diskr. Mat. Suppl., 2020, no. 13, 129–132
Contact us: