brand

Защита диссертации - Шимчик Никита Владимирович


Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым
06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации
24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

Шимчик Никита Владимирович

Исследование и разработка методов поиска уязвимостей в программах на C и C++ на основе статического анализа помеченных данных

Диссертация защищена

Искомая степень: Кандидат технических наук.

Специальность: 2.3.5 – Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей.

Дата размещения: 10 апреля 2024.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 13 июня 2024.

Официальный оппонент: Шабанов Борис Михайлович, доктор технических наук (05.13.15).

Место работы, должность: Федеральное государственное бюджетное учреждение «Национальный исследовательский центр «Курчатовский институт», заместитель директора по исследованиям в области информационных технологий.

Основные публикации за последние 5 лет:

  1. Абрамов А.Г., Евсеев А.В., Гончар А.А., Шабанов Б.М. Вопросы увеличения пропускной способности и территориальной доступности национальной исследовательской компьютерной сети России // Системы и средства информатики. 2022. №2(32). С. 4-12. DOI: 10.14357/08696527220201
  2. Shabanov B., Baranov A., Telegin P., Tikhomirov A. Influence of Execution Time Forecast Accuracy on the Efficiency of Scheduling Jobs in a Distributed Network of Supercomputers // In: Malyshkin V. (eds) Parallel Computing Technologies. Lecture Notes in Computer Science. 2021. Vol. 12942. DOI: 10.1007/978-3-030-86359-3_25
  3. Abramov A., Evseev A., Gonchar A., Shabanov B. National Research Computer Network of Russia as an Infrastructure and Service Platform for a Common Digital Space of Scientific Knowledge // CEUR Workshop Proceedings (CEUR-WS.org). 2021. Vol. 2990. P. 75-83.  DOI: 10.51218/1613-0073-2990-75-83
  4. Abramov A.G., Evseev A.V., Gonchar A.A., Telegin P.N., Shabanov B.M. National Research Computer Network of Russia: regulatory status and plans for the development of regional telecommunications infrastructure in 2021-2024 // CEUR Workshop Proceedings. 2021. Vol. 2930. P. 29-37.
  5. Abramov A.G., Gonchar A.A., Evseev A.V., Shabanov B.M. National Research Computer Network of Russia: development plans, role and facilities in ensuring the functioning of the National Supercomputer Infrastructure // Communications in Computer and Information Science. 2021. Vol. 1510. P. 472-486. DOI: 10.1007/978-3-030-92864-3_36
  6. Абрамов А.Г., Гончар А.А., Евсеев А.В., Шабанов Б.М. Разработка критериев подключения научных и образовательных организаций к Национальной исследовательской компьютерной сети // Информационные технологии и вычислительные системы. 2021. №2. C. 22-33. DOI: 10.14357/20718632210203
  7. Дикарев Н.И., Шабанов Б.М., Шмелёв А.С. Преимущества и недостатки использования метода векторов указателей в векторном потоковом процессоре // Программные системы: теория и приложения. 2021. 12:4(51). С. 65–83. DOI: 10.25209/2079-3316-2021-12-4-65-83
  8. Kiselev E.A., Telegin P.N., Shabanov B.M. An Energy-Efficient Scheduling Algorithm for Shared Facility Supercomputer Centers // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2554-2561. DOI: 10.1134/S1995080221110147
  9. Aladyshev O.S., Kiselev E.A., Zakharchenko A.V., Shabanov B.M., and Savin G.I. Influence of External Memory Characteristics of Supercomputer Complexes on Parallel Programs Execution // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2493-2502. DOI: 10.1134/S1995080221110044 (Scopus, ядро РИНЦ)
  10. Shabanov B.M., Rybakov A.A., Shumilin S.S., Vorobyov M.Yu. Scaling of supercomputer calculations on unstructured surface computational meshes // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2571-2579. DOI: 10.1134/S1995080221110202
  11. Anton Baranov, Gennadiy Savin, Boris Shabanov, Dmitriy Lyakhovets, Pavel Telegin . Simulator of a Supercomputer Job Management System as a Scientific Service // Annals of Computer Science and Information Systems, vol. 21, pages 413–416 (2020). DOI:10.15439/2020F208
  12. Kiselev E.A., Kiselev V.I., Savin G.I., Shabanov B.M., Aladyshev O.S., Baranov A.V. A method of the supercomputers energy efficiency evaluating by the parallel program energy profile // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2542-2551 DOI:10.1134/S1995080220120161
  13. G.I. Savin, B.M. Shabanov, D.S. Nikolaev, P.N. Telegin, A.V.Baranov . Jobs runtime forecast based on MVS-100K and MVS-10P supercomputers statistics // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2594-2603. DOI:10.1134/S1995080220120343
  14. G.I. Savin, B.M. Shabanov, Baranov A.V., Telegin P.N., Fedorov R.S. Checkpointing tools in a supercomputer center // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c.. DOI: 10.1134/S1995080220120355
  15. G.I.Savin, B.M.Shabanov, A.A.Rybakov, S.S.Shumilin. - Vectorization of Flat Loops of Arbitrary Structure Using Instructions AVX-512 // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2604-2614. DOI: 10.1134/S1995080220120331

Отзыв оппонента: Скачать

Официальный оппонент: Маркин Дмитрий Олегович, кандидат технических наук (05.13.19).

Место работы, должность: Федеральное государственное казённое военное образовательное учреждение высшего образования «Академия Федеральной службы охраны Российской Федерации», сотрудник.

Основные публикации за последние 5 лет:

  1. Маркин Д. О., Некрасов Д. О. Алгоритм идентификации автоматизированных средств, осуществляющих анализ информационной системы //Актуальные проблемы инфотелекоммуникаций в науке и образовании (АПИНО 2022). – 2022. – С. 400-404.
  2. Маркин Д. О., Мищенко А. С., Хо Ч. Т. Исследование встроенного программного обеспечения для ЭВМ на основе процессоров с архитектурой ARM // Актуальные проблемы инфотелекоммуникаций в науке и образовании (АПИНО 2022). – 2022. – С. 390-395.
  3. Маркин Д. О. Анализ возможностей инструментальных средств, используемых для осуществления кибератак на информационные ресурсы Российской Федерации // Актуальные проблемы инфотелекоммуникаций в науке и образовании (АПИНО 2022). – 2022. – С. 384-389.
  4. Маркин Д. О., Макеев С. М., ХО Ч. Т. Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone // Труды Института системного программирования РАН. – 2022. – Т. 34. – №. 1. – С. 35-48.
  5. Средство защиты информационной системы от несанкционированного использования на основе технологии HASP / Д. О. Маркин, С. М. Макеев, Е. А. Никифорова, Е. А. Надеждин // Известия ТулГУ. Технические науки. – 2022. – Вып. 7. – С. 35–45. DOI: 10.24412/2071-6168-2022-7-38-46
  6. Маркин, Д. О. Технологическая карта по разработке программного обеспечения, реализующего сервисы безопасности на основе средства доверенной загрузки и технологии TrustZone / Д. О. Маркин, С. М. Макеев, Т. К. Умбетов // Ученые записки Орловского государственного университета. – 2021. – № 1(90). – С. 199–204.
  7. Маркин, Д. О. Система защиты терминальных программ от анализа на основе виртуализации исполняемого кода / Д. О. Маркин, С. М. Макеев // Вопросы кибербезопасности. – 2020. – № 1 (35). – С. 29–41. DOI:10.21681/2311-3456-2020-01-29-41.
  8. Маркин, Д. О. Алгоритм распознавания точек входа обфусцированных веб-приложений методом динамического анализа / Д. О. Маркин, А. А. Зверев, С. М. Макеев // Известия Тульского государственного университета. Технические науки. – 2020. – Выпуск 9. – С. 28–40.
  9. Маркин, Д. О. Исследование уязвимостей доверенной среды исполнения приложений на основе технологии TrustZone / Д. О. Маркин, Хо Тхай Чунг // Известия Тульского государственного университета. Технические науки. – 2020. – Выпуск 9. – С. 316–328.
  10. Система идентификации информационных угроз на основе открытых данных сети Интернет / Д. О. Маркин, С. М. Макеев, Н. В. Изотов, А. Ю. Андросов // Известия Тульского государственного университета. Технические науки. – 2020. – Выпуск 9. – С. 86–94.
  11. Методика Исследования системного программного обеспечения сетевого оборудования семейства Cisco на предмет наличия недекларированных возможностей / Д. О. Маркин, С. М. Макеев, И. А. Санников, Х. Т. Чунг // Ученые записки Орловского государственного университета. – 2020. – № 3(88). – С. 215–221.
  12. Маркин, Д. О. Особенности поиска уязвимостей программного обеспечения на основе технологии TrustZone / Д. О. Маркин, Т. Ч. Хо, Н. П. Мешков // Проблемы информационной безопасности. Компьютерные системы. – 2020. – № 4. – С. 79–87.
  13. Маркин, Д. О. Алгоритм идентификации источников угроз информационной безопасности на основе открытых данных сети Интернет / Д. О. Маркин, С. М. Макеев, Р. О. Голенков // Известия Тульского государственного университета. Технические науки. – 2019. – Выпуск 3. – С. 231–242.
  14. Маркин, Д. О. Комплекс алгоритмов защищенных туманных вычислений на основе технологии активных данных / Д. О. Маркин, С. М. Макеев, А. Н. Вихарев // Известия Тульского государственного университета. Технические науки. – 2019. – Выпуск 3. – С. 263–269.

Отзыв оппонента: Скачать

Ведущая организация: Федеральное государственное учреждение «Федеральный исследовательский центр Институт прикладной математики им.М.В.Келдыша Российской академии наук».

Контактные данные: 125047, Москва, Миусская пл., д.4, +7(499)978-13-14, office@keldysh.ru, keldysh.ru

Основные публикации за последние 5 лет:

  1. Гасилов В. А. и др. MARPLE: программное обеспечение для мультифизического моделирования в задачах сплошных сред //Препринты ИПМ им. МВ Келдыша. – 2023. – №. 37. – С. 1-40.
  2. Милюкова О. Ю. Способы MPI+ OpenMP реализации метода сопряженных градиентов с предобусловливателем IC (0) на основе использования переупорядочения узлов сетки //Препринты ИПМ им. МВ Келдыша. – 2023. – №. 35. – С. 1-32.
  3. Власов С. О. и др. Решение задачи обнаружения объекта с помощью нейросетевых технологий //Препринты ИПМ им. МВ Келдыша. – 2023. – №. 16. – С. 1-27.
  4. Борисов В. Е. и др. Программный комплекс NOISEtte–MCFL для расчета многокомпонентных реагирующих течений //Препринты ИПМ им. МВ Келдыша. – 2023. – №. 6. – С. 1-23.
  5. Сухинов А. И. и др. Метод решения сеточных уравнений для задач гидродинамики в плоских областях //Математическое моделирование. – 2023. – Т. 35. – №. 3. – С. 35-58.
  6. Корнилина М. А., Якобовский М. В. Оценка накладных расходов при выполнении расчётов на локально измельчаемых сетках //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 102. – С. 1-36.
  7. Синюков М. В. и др. Ограничения применимости дифференцируемых эталонных показателей качества изображений //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 86. – С. 1-15.
  8. Богатырев Е. Н. и др. Исследование качества сжатого видео после повышения разрешения: бенчмарк и метрика качества //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 81. – С. 1-24.
  9. Мещанинов В. П. и др. Сочетание контрастного обучения и обучения с учителем для обнаружения видео с сверхвысоким разрешением //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 80. – С. 1-13.
  10. Вересов А. К. О возможной интеграции Лиспа в язык Си //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 30. – С. 1-35.
  11. Краснов М. М., Феодоритова О. Б. Применение библиотеки функционального программирования для распараллеливания вычислений на графических ускорителях с технологией CUDA //Препринты ИПМ им. МВ Келдыша. – 2022. – №. 51. – С. 1-36.
  12. Куренных А. Е., Судаков В. А. Комбинированные рекомендательные алгоритмы для научно-производственных объединений //Препринты ИПМ им. МВ Келдыша. – 2021. – №. 60. – С. 1-12.
  13. Фролов В. А. и др. Синтез изображений интерьеров для обучения нейросетей //Препринты ИПМ им. МВ Келдыша. – 2020. – №. 81. – С. 1-20.
  14. Санжаров В. В. и др. Система генерации наборов изображений для задач компьютерного зрения на основе фотореалистичного рендеринга //Препринты ИПМ им. МВ Келдыша. – 2020. – №. 80. – С. 1-29.
  15. ИСПОЛЬЗОВАНИЕ ПРЯМОУГОЛЬНЫХ СЕТОК СОВМЕСТНО С ПРОЕКЦИОННЫМ МЕТОДОМ ТЕТРАЭДРИЗАЦИИ ДЛЯ РАСПРЕДЕЛЁННОЙ ГЕНЕРАЦИИ ТЕТРАЭДРАЛЬНОЙ СЕТКИ. Григорьев С.К., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2020). Короткие статьи и описания плакатов. 2020. С. 128-132.
  16. ИССЛЕДОВАНИЕ ЛУЧИСТОГО ПЕРЕНОСА ТЕПЛА С ПАРАЛЛЕЛЬНОЙ РЕАЛИЗАЦИЕЙ ВЫЧИСЛЕНИЙ. Корявка Н.А., Якобовский М.В., Ольховская О.Г. Параллельные вычислительные технологии (ПаВТ2020). Короткие статьи и описания плакатов. 2020. С. 152-162.
  17. Frolov V.A., Galaktionov V.A., Barladyan B.H. Comparative study of high performance software rasterization techniques // Mathematica Montisnigri. 2020. Vol. 47. pp. 152-175. DOI: 10.20948/mathmontis-2020-47-13
  18. Санжаров В.В., Фролов В.А., Галактионов В.А. Исследование технологии Nvidia RTX // Программирование. 2020. № 4. с. 65-72. DOI: 10.31857/s0132347420030061
  19. Китаев Е. Л., Скорнякова Р. Ю. Скрейпинг" на лету" внешних веб ресурсов, управляемый разметкой HTML страницы //Препринты ИПМ им. МВ Келдыша. – 2019. – №. 20. – С. 1-31.
  20. ВОССТАНОВЛЕНИЕ РАСЧЕТОВ МЕТОДОМ ДИФФУЗНОЙ БАЛАНСИРОВКИ НАГРУЗКИ. Бондаренко А.А., Григорьев С.К., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2019). Короткие статьи и описания плакатов XIII Международной научной конференции. 2019. С. 175-185.
  21. АЛГОРИТМЫ АДАПТИВНОГО ИЗМЕЛЬЧЕНИЯ ТРЕХМЕРНЫХ РАСЧЕТНЫХ СЕТОК. Грузинцев И.О., Якобовский М.В. Параллельные вычислительные технологии (ПаВТ2019). Короткие статьи и описания плакатов XIII Международной научной конференции. 2019. С. 223-231.
  22. PARALLEL RAY TRACING ALGORITHM FOR NUMERICAL ANALYSIS OF LASER RADIATION ABSORPTION IN A PLASMA. Kotelnikov A., Tsygvintsev I., Yakobovsky M., Gasilov V. Communications in Computer and Information Science (см. в книгах). 2019. Т. 1129 CCIS. С. 110-120.
  23. NUMERICAL ALGORITHMS FOR HPC SYSTEMS AND FAULT TOLERANC. Chetverushkin B.N., Yakobovskiy M.V., Kornilina M.A., Semenova A.V. Communications in Computer and Information Science (см. в книгах). 2019. Т. 1063. С. 34-44.
  24. КООРДИНИРОВАННОЕ СОХРАНЕНИЕ С ЖУРНАЛИРОВАНИЕМ ПЕРЕДАВАЕМЫХ ДАННЫХ И АСИНХРОННОЕ ВОССТАНОВЛЕНИЕ В СЛУЧАЕ ОТКАЗА. Бондаренко А.А., Ляхов П.А., Якобовский М.В. Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика. 2019. Т. 8. № 2. С. 76-91.
  25. Shcherbakov A.S., Frolov V.A. Implementation of the Radiosity algorithm for large scale scenes // CEUR Workshop Proceedings. 2019. Vol. 2485. pp. 13-17. DOI: 10.30987/graphicon-2019-2-13-17
  26. Sanzharov V.V., Frolov V.A., Pavlov I.V. Restricted extensions for GPU photo-realistic renderer // CEUR Workshop Proceedings. 2019. Vol. 2485. pp. 37-42. DOI: 10.30987/graphicon-2019-2-37-42

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 15 из 21 членов диссертационного совета: Белеванцев А.А., Петренко А.К., Зеленов С.В., Бурдонов И.Б., Дроздов А.Ю., Евтушенко Н.В., Жданов А.А., Захаров В.Н., Карпов Л.Е., Козачок А.В., Машечкин И.В., Позин Б.А., Семенов В.А., Черных А.Н., Шнитман В.З.

Заключение диссертационного совета: Скачать