Dovgalyuk Pavel Mikhailovich

Publications in Math-Net.Ru

1. Declarative approach to virtual machine introspection
   
   Proceedings of ISP RAS, 36:3 (2024),  123–138
2. Natch: using virtual machine introspection and taint analysis for detection attack surface of the software
   
   Proceedings of ISP RAS, 34:5 (2022),  89–110
3. Using the identification of threads of execution when solving problems of full-system analysis of binary code
   
   Proceedings of ISP RAS, 33:6 (2021),  51–66
4. Introspection of QEMU emulator peripherals configuration
   
   Proceedings of ISP RAS, 31:5 (2019),  25–36
5. Tracing ext3 file system operations in the QEMU emulator
   
   Proceedings of ISP RAS, 30:5 (2018),  101–108
6. Configurable system call tracer in QEMU emulator
   
   Proceedings of ISP RAS, 30:3 (2018),  93–98
7. Stealth debugging of programs in Qemu emulator with WinDbg debugger
   
   Proceedings of ISP RAS, 30:3 (2018),  87–92
8. On some limitations of information flow tracking in full-system emulators
   
   Proceedings of ISP RAS, 28:6 (2016),  11–26
9. When stack protection does not protect the stack?
   
   Proceedings of ISP RAS, 28:5 (2016),  55–72
10. Using ABI for virtual machines introspection
    
    Proceedings of ISP RAS, 27:6 (2015),  159–168
11. Methods to improve reverse debugging performance
    
    Proceedings of ISP RAS, 27:2 (2015),  127–144