Kochetkov Evgniy Viktorovich

Publications in Math-Net.Ru

1. Verified program code execution system prototype
   
   Proceedings of ISP RAS, 29:6 (2017),  7–24
2. Secure code execution system operation algorithm
   
   Proceedings of ISP RAS, 29:3 (2017),  17–30
3. Formal model of process functioning in the operating system
   
   Tr. SPIIRAN, 51 (2017),  78–96