Применение атрибутных грамматик в системах генерации тестов
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.
Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Методы и средства обнаружения уязвимостей аллокаторов динамической памяти библиотеки 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.
Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ [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.