Petr Nikolaevich DEVYANIN
RusBITech-Astra
Russian Federation

Doctor of Technical Sciences, corresponding member of Russian Academy of Cryptography, professor, scientific director in RusBITech-Astra (Astra Linux)

Vladimir Iurevich TELEZHNIKOV
RusBITech-Astra
Russian Federation

Ph.D in Technical Science, Head of Research Department 

Alexey Vladimirovich KHOROSHILOV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University, National Research University Higher School of Economics, Moscow Institute of Physics and Technology (State University)
Russian Federation

Leading Researcher, Ph.D. in Physics and Mathematics, Director of the Linux OS Verification Center at ISP RAS, Associate Professor of System Programming Departments at Moscow State University, the Higher School of Economics, and Moscow Institute of Physics and Technology