Semenov A. A. «Guess-and-determine attacks and automatic methods for their construction» // Applied Discrete Mathematics. Supplement 2018. №11 C.81-86
Antonov K. V., Semenov A. A. «Application of sat oracles for generation of additional linear constraints in cryptanalysis of some lightweight ciphers» // Applied Discrete Mathematics. Supplement 2020. №13 C.114-119
Gribanova I. A., Semenov A. A. «Using inverse backdoors sets to construct guess-and-determine attacks on hash-functions md4» // Applied Discrete Mathematics. Supplement 2020. №13 C.124-129
Otpuschennikov I. V., Semenov A. A., Antonov K. V. «Search for linearizing sets in algebraic cryptanalysis as a problem of pseudo-boolean optimization» // Applied Discrete Mathematics. Supplement 2019. №12 C.130-134
