A translator with a security static analysis feature of an information flow for a simple programming language. - E. Ju. Antoshina; A. N. Barakova; Evgeny S. Nikitin; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2014)

Semantic Security Tools in Software-Defined Networks. - E. Ju. Antoshina; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2018)