Publications in Math-Net.Ru
-
Virtual machine introspection based on system calls and kernel data structures
Proceedings of ISP RAS, 37:6(3) (2025), 59–72
-
Declarative approach to virtual machine introspection
Proceedings of ISP RAS, 36:3 (2024), 123–138
-
Natch: using virtual machine introspection and taint analysis for detection attack surface of the software
Proceedings of ISP RAS, 34:5 (2022), 89–110
-
Introspection of QEMU emulator peripherals configuration
Proceedings of ISP RAS, 31:5 (2019), 25–36
-
On some limitations of information flow tracking in full-system emulators
Proceedings of ISP RAS, 28:6 (2016), 11–26
-
Using ABI for virtual machines introspection
Proceedings of ISP RAS, 27:6 (2015), 159–168
© , 2026