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