Манушин Дмитрий Валерьевич

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

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