Садырин Даниил Сергеевич

Садырин Даниил Сергеевич

Должность: преподаватель (квалификационная категория "преподаватель практики")

Подразделение: факультет программной инженерии и компьютерной техники

Наименование направления подготовки и (или) специальности:

Преподаваемые дисциплины в текущем учебном году:

  • Языки программирования

Список трудов:

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