Каушан Вадим Владимирович

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

1. Построение предикатов безопасности для некоторых типов программных дефектов
   
   Труды ИСП РАН, 29:6 (2017),  151–162
2. Поиск ошибок выхода за границы буфера в бинарном коде программ
   
   Труды ИСП РАН, 28:5 (2016),  135–144
3. Оценка критичности программных дефектов в условиях работы современных защитных механизмов
   
   Труды ИСП РАН, 28:5 (2016),  73–92
4. Метод поиска уязвимости форматной строки
   
   Труды ИСП РАН, 27:4 (2015),  23–38
5. Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ
   
   Труды ИСП РАН, 27:2 (2015),  105–126