Модель, алгоритмы и программный комплекс автоматизированного поиска уязвимостей в исполняемом коде - Шудрак, Максим Олегович; Золотарев, Вячеслав Владимирович (Труды СПИИРАН, 2015)