Doronin Artemii Evgen'evich

Publications in Math-Net.Ru

1. 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
2. Construction of cryptographic Boolean functions using SAT-solvers
   
   Prikl. Diskr. Mat. Suppl., 2020, no. 13,  129–132