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

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

Исследование и разработка методов поиска уязвимостей в программах на 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.

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