Применение атрибутных грамматик в системах генерации тестов
Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Методы и средства обнаружения уязвимостей аллокаторов динамической памяти библиотеки glibc. Научно-технический вестник Поволжья. 2020. № 1. С. 79-83.
Анализ межпроцедурных зависимостей на основе графа свойств программного кода
Sadyrin D., Dergachev A., Loginov I., Korenkov I., Ilina A. Application of Graph Databases for Static Code Analysis of Web-Applications. CEUR Workshop Proceedings. 2020. Vol. 2590. pp. 1-9.
Dergachev A., Sadyrin D., Ilina A., Loginov I., Korenkov I. Methods and Means of Searching Errors When Working With Dynamic Memory. CEUR Workshop Proceedings. 2020. Vol. 2590. pp. 1-9.
Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ [Verification of dynamic memory allocators based on symbolic program execution]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2020. Т. 20. № 1(125). С. 101-109.
Андреев Ю.С., Дергачев А.М., Жаров Ф.А., Садырин Д.С. Информационная безопасность автоматизированных систем управления технологическими процессами. Известия высших учебных заведений. Приборостроение. 2019. Т. 62. № 4. С. 331-339.
Korenkov I., Loginov I., Doronin O., Sadyrin D., Dergachev A. Retargetable compiler design issues. 19th International Multidisciplinary Scientific GeoConference, SGEM 2019. 2019. Vol. 19. No. 2.1. pp. 561-568.
Садырин Д.С., Дергачев А.М. Формальная верификация аллокаторов памяти с применением символьного выполнения. Сборник трудов VIII конгресса молодых ученых (Санкт-Петербург, 15-19апреля 2019г.). 2019. Т. 3. С. 324-328.
Садырин Д.С. Противодействие эксплойтам на прикладном уровне в OC LINUX. Альманах научных работ молодых ученых Университета ИТМО. 2018. Т. 2. С. 293-295.
Садырин Д.С. Противодействие эксплойтам на прикладном уровне в OC LINUX. Сборник трудов IX научно-практической конференции молодых ученых «Вычислительные системы и сети (Майоровские чтения)». 2018. С. 111-113.