Довгалюк Павел Михайлович

Публикации в базе данных Math-Net.Ru

1. Декларативный подход к задаче интроспекции виртуальной машины
   
   Труды ИСП РАН, 36:3 (2024),  123–138
2. Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин
   
   Труды ИСП РАН, 34:5 (2022),  89–110
3. Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода
   
   Труды ИСП РАН, 33:6 (2021),  51–66
4. Интроспекция конфигурации периферийных устройств эмулятора QEMU
   
   Труды ИСП РАН, 31:5 (2019),  25–36
5. Tracing ext3 file system operations in the QEMU emulator
   
   Труды ИСП РАН, 30:5 (2018),  101–108
6. Configurable system call tracer in QEMU emulator
   
   Труды ИСП РАН, 30:3 (2018),  93–98
7. Stealth debugging of programs in Qemu emulator with WinDbg debugger
   
   Труды ИСП РАН, 30:3 (2018),  87–92
8. О некоторых ограничениях полносистемного анализа помеченных данных
   
   Труды ИСП РАН, 28:6 (2016),  11–26
9. When stack protection does not protect the stack?
   
   Труды ИСП РАН, 28:5 (2016),  55–72
10. Использование ABI для интроспекции виртуальных машин
    
    Труды ИСП РАН, 27:6 (2015),  159–168
11. Методы повышения производительности обратной отладки
    
    Труды ИСП РАН, 27:2 (2015),  127–144