Tychinskiy V.Z., Matrosova A.Yu., Nikolaeva E.A., Provkin V.A., Goshin G.G. «Using SAT-solvers for deriving patch circuits that mask nodes faults and trojan circuits injections» // Izvestiya vuzov. Fizika 2020. №12 C.114-123
Kalgin K. V., Doronin A. E. «Construction of cryptographic boolean functions using SAT-solvers» // Applied Discrete Mathematics. Supplement 2020. №13 C.129-132
