Дергачев А.М., Садырин Д.С., Ильина А.Г., Логинов И.П., Кореньков Ю.Д. Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ [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.
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.
Дергачев А.М., Садырин Д.С., Ильина А.Г., Логинов И.П., Кореньков Ю.Д. Методы и средства обнаружения уязвимостей аллокаторов динамической памяти библиотеки glibc. Научно-технический вестник Поволжья. 2020. № 1. С. 79-83.
Анализ межпроцедурных зависимостей на основе графа свойств программного кода
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.
Андреев Ю.С., Дергачев А.М., Жаров Ф.А., Садырин Д.С. Информационная безопасность автоматизированных систем управления технологическими процессами. Известия высших учебных заведений. Приборостроение. 2019. Т. 62. № 4. С. 331-339.
Садырин Д.С. Противодействие эксплойтам на прикладном уровне в OC LINUX. Альманах научных работ молодых ученых Университета ИТМО. 2018. Т. 2. С. 293-295.
Садырин Д.С. Противодействие эксплойтам на прикладном уровне в OC LINUX. Сборник трудов IX научно-практической конференции молодых ученых «Вычислительные системы и сети (Майоровские чтения)». 2018. С. 111-113.