Otpuschennikov I. V., Zaikin O. S., Semenov A. A. «Propositional encoding of direct and inverse round transformations in attacks on some block ciphers» // Applied Discrete Mathematics. Supplement 2018. №11 C.76-79
Semenov A. A., Gorbatenko D. E., Kochemazov S. E. «On discrete automaton models of attacks in computer networks» // Applied Discrete Mathematics. Supplement 2016. №9 C.80-83
