Kalgin Konstantin Victorovich

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. DPLL-like satisfiability problem solver over the system of ANF equations
   
   Prikl. Diskr. Mat. Suppl., 2021, no. 14,  187–190
3. A compact translator of algorithms into Boolean formulas for use in cryptanalysis
   
   Prikl. Diskr. Mat. Suppl., 2020, no. 13,  135–136
4. Construction of cryptographic Boolean functions using SAT-solvers
   
   Prikl. Diskr. Mat. Suppl., 2020, no. 13,  129–132
5. On a secondary construction of quadratic APN functions
   
   Prikl. Diskr. Mat. Suppl., 2020, no. 13,  37–39
6. Parallel implementation of asynchronous cellular automata on 32-core computer
   
   Sib. Zh. Vychisl. Mat., 15:1 (2012),  55–65
7. Implementation of algorithms with a fine-grained parallelism on GPUs
   
   Sib. Zh. Vychisl. Mat., 14:1 (2011),  59–70


8. The Seventh International Olympiad in Cryptography: problems and solutions
   
   Sib. Èlektron. Mat. Izv., 18:2 (2021),  4–29