ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

3
Publication date:
16 September 2025

Kornykhin. E.V.

Ph.D (kornevgen@ispras.ru)
Associate Professor, Senior Researcher
Ivannikov Institute for System Programming RAS, Lomonosov Moscow State University
Author in:
  1. Runtime verification of industrial information security tools based on formal access control models
  2. Co-authors: Petrenko, A.K., Efremov, D.V., Kulyamin, V.V., Semenov, V.A.