Бакулин Максим Геннадьевич

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

1. Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин
   
   Труды ИСП РАН, 34:5 (2022),  89–110
2. Практическая абстрактная интерпретация бинарного кода
   
   Труды ИСП РАН, 32:6 (2020),  101–110
3. Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода
   
   Труды ИСП РАН, 31:6 (2019),  65–88
4. О новом поколении промежуточных представлений, применяемых для анализа бинарного кода
   
   Труды ИСП РАН, 30:6 (2018),  39–68
5. О некоторых ограничениях полносистемного анализа помеченных данных
   
   Труды ИСП РАН, 28:6 (2016),  11–26