Dovgalyuk Pavel Mikhailovich

Publications in Math-Net.Ru

1. Virtual machine introspection based on system calls and kernel data structures
   
   Proceedings of ISP RAS, 37:6(3) (2025),  59–72
2. Hardware acceleration of Qemu MMU for aarch64 on x86-64 full system emulation
   
   Proceedings of ISP RAS, 37:6(3) (2025),  45–58
3. Declarative approach to virtual machine introspection
   
   Proceedings of ISP RAS, 36:3 (2024),  123–138
4. Natch: using virtual machine introspection and taint analysis for detection attack surface of the software
   
   Proceedings of ISP RAS, 34:5 (2022),  89–110
5. 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
6. Introspection of QEMU emulator peripherals configuration
   
   Proceedings of ISP RAS, 31:5 (2019),  25–36
7. Tracing ext3 file system operations in the QEMU emulator
   
   Proceedings of ISP RAS, 30:5 (2018),  101–108
8. Configurable system call tracer in QEMU emulator
   
   Proceedings of ISP RAS, 30:3 (2018),  93–98
9. Stealth debugging of programs in Qemu emulator with WinDbg debugger
   
   Proceedings of ISP RAS, 30:3 (2018),  87–92
10. On some limitations of information flow tracking in full-system emulators
    
    Proceedings of ISP RAS, 28:6 (2016),  11–26
11. When stack protection does not protect the stack?
    
    Proceedings of ISP RAS, 28:5 (2016),  55–72
12. Using ABI for virtual machines introspection
    
    Proceedings of ISP RAS, 27:6 (2015),  159–168
13. Methods to improve reverse debugging performance
    
    Proceedings of ISP RAS, 27:2 (2015),  127–144