The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware. - Alexander Barabanov; Maxim Grishin; Alexey Markov (CoRR, 2013)

A Formal Approach To Firewalls Testing Techniques. - Alexander Barabanov; Alexey Markov; Valentin Tsirlov (CoRR, 2013)

Modern trends in the regulatory framework of the information security compliance assessment in Russia based on common criteria. - Alexander Barabanov; Alexey Markov (SIN, 2015)

Synthesis of secure software development controls. - Alexander Barabanov; Alexey Markov; Andrey Fadin; Valentin Tsirlov; Igor Shakhalov (SIN, 2015)

Authentication and authorization in microservice-based systems: survey of architecture patterns. - Alexander Barabanov; Denis Makrushin (CoRR, 2020)

Security audit logging in microservice-based systems: survey of architecture patterns. - Alexander Barabanov; Denis Makrushin (CoRR, 2021)

Automatic detection of access control vulnerabilities via API specification processing. - Alexander Barabanov; Denis Dergunov; Denis Makrushin; Aleksey Teplov (CoRR, 2022)