Efremov Denis Valentinovich

Publications in Math-Net.Ru

1. Overview of hardening mechanisms in operating systems and user applications
   
   Proceedings of ISP RAS, 37:3 (2025),  325–354
2. Methods of runtime verification of industrial information security tools based on formal access control models.
   
   Proceedings of ISP RAS, 37:3 (2025),  277–290
3. Runtime verification of operating systems based on abstract models
   
   Proceedings of ISP RAS, 33:6 (2021),  15–26
4. Monitoring and testing based on multi-level program specifications
   
   Proceedings of ISP RAS, 32:6 (2020),  7–18
5. Formal verification of Linux kernel library functions
   
   Proceedings of ISP RAS, 29:6 (2017),  49–76