Стефанцов Дмитрий Александрович

Стефанцов Дмитрий Александрович
Стефанцов Дмитрий Александрович (Stefantsov D. A.)
Должность: старший преподаватель кафедры защиты информации и криптографии
В 2003 г. поступил на факультет прикладной математики и кибернетики Томского государственного университета. Окончил его в 2009 г. по специальности «Компьютерная безопасность», квалификация — «математик». В 2009 г. поступил в аспирантуру по кафедре защиты информации и криптографии, которую закончил в 2012 г. С 2009 г. — ассистент кафедры защиты информации и криптографии ТГУ, с 2012 г. — старший преподаватель кафедры защиты информации и криптографии.
Учебная работа
Читал или читает курсы:
– Методы программирования;
– Технология разработки программ;
– Операционные системы;
– Аспектно-ориентированное программирование;
– Защита в операционных системах;
– Комбинаторные алгоритмы.
Осуществляет научное руководство выполнением курсовых и дипломных работ студентов каф. ЗИиК ФПМК ТГУ.
Научная работа
Область научных интересов — формальные методы исследования программ, доказательство свойств программ с использованием операционных семантик языков программирования.
Организационная работа
С 2007 по 2012 год — капитан команды ТГУ SiBears, принимающей участие в соревнованиях по защите компьютерной информации Capture the Flag (CTF).
С 2012 года по 2015 год — тренер команды SiBears.
С 2015 по настоящее время — администратор команды SiBears.
Среди достижений команды SiBears — следующие:
– победа во всероссийских студенческих соревнованиях RuCTF три раза подряд, в 2009, 2010 и 2011 годах (г. Екатеринбург);
– второе место в соревнованиях RuCTF в 2012 и 2014 годах (г. Екатеринбург);
– 12-е место в финале крупнейших международных профессиональных соревнований DEFCON CTF 2012 (г. Лас-Вегас, США).
Научные статьи
  1. Стефанцов Д. А. Логическое и компьютерное моделирование криптоалгоритма Fish // Вестник Томского государственного университета. Приложение. — 2004. — 9(I). — С. 82–84.
  2. Куликов М. Л., Ромашкин Е. В., Стефанцов Д. А. О разработке криптографически защищённой ОС для безопасного выполнения коллективных проектов // Вестник Томского государственного университета. Приложение. — 2006. — № 17. — С. 161–167.
  3. Куликов М. Л., Ромашкин Е. В., Стефанцов Д. А. О проекте операционной системы для обеспечения политики коллективной безопасности // Известия вузов. Физика. — 2006. — № 3. — С. 308–309.
  4. Куликов М. Л., Ромашкин Е. В., Стефанцов Д. А. Разработка средств моделирования политик безопасности операционных систем // Вестник ТГУ. Приложение. — 2007. — № 23. — С. 189–193.
  5. Стефанцов Д. А. Реализация политик безопасности в компьютерных системах с помощью аспектно-ориентированного программирования // Прикладная дискретная математика. — 2008. — № 1. — С. 94–100.
  6. Стефанцов Д. А. Технология и инструментальная среда создания защищённых систем обработки информации // Прикладная дискретная математика. — 2009. — № 1. — С. 55–56.
  7. Стефанцов Д. А. К определению степени интегрированности программных подсистем // Прикладная дискретная математика. — 2009. — № 1. — С. 79–81.
  8. Стефанцов Д. А. Инструкции и рекомендации по подготовке статей в формате LATEX для журнала «Прикладная дискретная математика» // Прикладная дискретная математика. — 2009. — № 4. — С. 110–120.
  9. Стефанцов Д. А., Крюкова А. Е. Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk // Прикладная дискретная математика. — 2010. — № 3. — С. 84–85.
  10. Стефанцов Д. А., Филимонов А. Е. Внедрение политик безопасности в компьютерные системы методом АОП на примере FTP-сервера Apache // Прикладная дискретная математика. — 2010. — № 1. — С. 43–62.
  11. Стефанцов Д. А. Внедрение политик безопасности в программные системы обработки информации // Прикладная дискретная математика. — 2011. — № 3. — С. 55–64.
  12. Разработка и реализация библиотеки ORM на языке C++ / Д. А. Стефанцов [и др.] // Прикладная дискретная математика. — 2011. — № 4. — С. 62–65.
  13. Стефанцов Д. А., Крюкова А. Е. Денотационное описание языка AspectTalk // Прикладная дискретная математика. — 2011. — № 4. — С. 61–62.
  14. Стефанцов Д. А. Язык программирования AspectTalk // Прикладная дискретная математика. — 2012. — № 1. — С. 91–110.
  15. Зайцев Г. Ю., Потапкин А. И., Стефанцов Д. А. Модификация скомпилированных приложений для платформы Android методом аспектно-ориентированного программирования // Прикладная дискретная математика. Приложение. — 2013. — № 6. — С. 60–62.
  16. Анисеня Н. И., Стефанцов Д. А., Торгаева Т. А. Сервис BlackBox для проведения соревнований по защите компьютерной информации Capture the Flag // Прикладная дискретная математика. Приложение. — 2013. — № 6. — С  52–56.
  17. Жуковская А. О., Стефанцов Д. А. Разработка автоматизированного средства для доказательства свойств программ // Прикладная дискретная математика. Приложение. — 2014. — № 7. — С. 148–150.
  18. Стефанцов Д. А., Томских П. А. Разработка операционной системы на языке ЛЯПАС // Прикладная дискретная математика. Приложение. — 2015. — № 8. — С. 134–135.
  19. Гречнев С. Ю., Стефанцов Д. А. Модификация ЛЯПАСа для разработки ОС // Прикладная дискретная математика. Приложение. — 2015. — № 8. — С. 129–131.
  20. Жуковская А. О., Стефанцов Д. А. Операционная семантика ЛЯПАСа // Прикладная дискретная математика. Приложение. — 2015. — № 8. — С. 131–132.
  21. Модульный транслятор с языка ЛЯПАС / Д. А. Стефанцов [и др.] // Прикладная дискретная математика. Приложение. — 2016. — № 9. — С. 122–126.