Институт системного программирования им. В.П. Иванникова РАН


Вишняков Алексей Вадимович

Поиск ошибок в бинарном коде методами динамической символьной интерпретации

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

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

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

Дата размещения: 11 октября 2022.
Текст диссертации: Скачать

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

Официальный оппонент: Ильин Вячеслав Анатольевич, доктор физико-математических наук (01.04.02).

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

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

  1. An analysis of full-size Russian complexly NER labelled corpus of Internet user reviews on the drugs based on deep learning and language neural nets. Alexander Sboev, Sanna Sboeva, Ivan Moloshnikov, Artem Gryaznov, Roman Rybka, Alexander Naumov, Anton Selivanov, Gleb Rylkov, Viacheslav Ilyin. Appl. Sci. 2022, 12, 491. DOI: 10.3390/app12010491
  2. Classification of diffraction patterns in single particle imaging experiments performed at x-ray free-electron lasers using a convolutional neural network. Alexandr Ignatenko;  Dameli Assalauova;  Sergey A Bobkov;  Luca Gelisio;  Anton B Teslyuk;  Viacheslav A Ilyin;  Ivan A Vartanyants. Machine Learning: Science and Technology, Vol. 2, p. 025014, 2021. DOI: 10.1088/2632-2153/ABD916
  3. A.E. Tesliuk, S.A. Bobkov, A. Poyda, A. Novikov, V.E. Velikhov, V.A. Ilyin. Development of Experimental Data Processing Workflows Based on Kubernetes Infrastructure and REANA Workflow Management System. Communications in Computer and Information Science, v.1331, p.563-573, 2020. DOI: 10.1007/978-3-030-64616-5_48.
  4. Advances in Modern Information Technologies for Data Analysis in CRYO-EM and XFEL Experiments. S.A. Bobkov, A.B. Teslyuk, T.N. Baymukhametov, E.B. Pichkur, Yu.M. Chesnokov, D. Assalauova, A.A. Poyda, A.M. Novikov, S.I. Zolotarev, K.A. Ikonnikova, V.E. Velikhov, I.A. Vartanyants, A.L. Vasiliev, and V.A. Ilyin, Crystallography Reports (Crystallographic Software), Vol. 65, No. 6, pp. 1081–1092, 2020. DOI: 10.1134/S1063774520060085.
  5. A.E. Tesliuk, S.A. Bobkov, V.A. Ilyin, A. Novikov, V.E. Velikhov. Kubernetes container orchestration as a framework for flexible and effective scientific data analysis. Proceedings of 2019 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE Computer Society, pp. 67-71, 2019. DOI: 10.1109/ISPRAS47671.2019.00016.
  6. S.A. Bobkov, A.B. Teslyuk, S.I Zolotarev, M. Rose, K.A. Ikonnikova, V.E. Velikhov, I.A. Vartanyants, V.A. Ilyin. Software Platform for European XFEL: Towards Online Experimental Data Analysis. Lobachevskii Journal of Mathematics, v.39, No.9, p.1170-1178, 2018. DOI: 10.1134/S1995080218090093.
  7. A.A. Aksenov, A.V. Zhluktov, D.P. Silaev, S.A. Kharchenko, V.A. Ilyin, A.V. Pechenyuk, E.A. Ryabinkin, V.E. Velikhov. Investigating the Problems of Ship Propulsion on a Supercomputer. Proceedings of 2017 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE Computer Society, ISBN 978-1-5386-1132-6, p.124-131, 2018. DOI: 10.1109/ISPRAS.2017.00027
  8. A.A. Danshin, M.I. Gurevich, V.A. Ilyin, A.A. Kovalishin, V.E. Velikhov. The Extension of the Monte Carlo Method for Neutron Transfer Problems Calculating to the Problems of Quantum Mechanics. Lobachevskii Journal of Mathematics, v.39, No.4, p.513–523, 2018. DOI: 10.1134/S1995080218040066

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

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

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

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

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

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

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

Контактные данные: 119333, Москва, ул.Вавилова, 44 корп. 2, 8(499)135-62-60, frccsc@frccsc.ru, http://www.frccsc.ru/

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

  1. Ю. Е. Малашенко, И. А. Назарова, Аппроксимация множества достижимых потоков многопользовательской сети, Информатика и ее применения, 2020
  2. Френкель С.Л., Захаров В.Н. СОВМЕСТНАЯ ОЦЕНКА ПРЕДСКАЗУЕМОСТИ ДАННЫХ И КАЧЕСТВА ПРЕДИКТОРОВ. Информатика и ее применения. 2020. Т. 14. № 2. С. 40-49.
  3. Плеханов Л.П., Захаров В.Н. УНИВЕРСАЛЬНЫЙ ФУНКЦИОНАЛЬНЫЙ МЕТОД АНАЛИЗА БОЛЬШИХ САМОСИНХРОННЫХ СХЕМ. Системы и средства информатики. 2020. Т. 30. № 2. С. 11-20.
  4. Соколов И.А., Захаров В.Н., Шоргин С.Я., Корепанов Э.Р., Синицын В.И. СТОХАСТИЧЕСКИЕ СИСТЕМЫ И РАЗВИТИЕ ОРГАНИЗАЦИОННО-ТЕХНИКО-ЭКОНОМИЧЕСКИХ СИСТЕМ (К ВОСЬМИДЕСЯТИЛЕТИЮ ЗАСЛУЖЕННОГО ДЕЯТЕЛЯ НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ И.Н. СИНИЦЫНА). Системы и средства информатики. 2020. Т. 30. № 3. С. 172-195.
  5. Соколов И.А., Зацаринный А.А., Захаров В.Н. У ИСТОКОВ РОССИЙСКОЙ ИНФОРМАТИКИ. Системы и средства информатики. 2020. Т. 30. № 2. С. 195-202.
  6. Ковалев Д.Ю., Тарасов Е.А., Захаров В.Н., Филимонов Н.М. АРХИТЕКТУРА ПЛАТФОРМЫ ДЛЯ ПРОВЕДЕНИЯ ДВИЖИМЫХ ГИПОТЕЗАМИ ВИРТУАЛЬНЫХ ЭКСПЕРИМЕНТОВ. Системы и средства информатики. 2020. Т. 30. № 2. С. 56-67.
  7. Е. К. Баранова, А.А. Мурзакова, Е.А. Мурзакова "Сравнительный анализ программного обеспечения для анализа рисков информационной безопасности в соответствии c ГОСТ Р ИСО/МЭК 27005$10", Информационные технологии и вычислительные системы, 2019
  8. М. Г. Коновалов, Р. В. Разумчик. "Комплексное управление в одном классе систем с параллельным обслуживанием". "Информатика и её применение", 2019, т. 13, в. 4, стр. 54–59
  9. А. А. Грушо, Н. А. Грушо, Е. Е. Тимонина "Использование метаданных для реализации требований политики безопасности MLS". "Информатика и её применение", 2019, т. 13, в. 4, стр. 85–89
  10. А. А. Грушо, Н. А. Грушо, Е. Е. Тимонина "Методы выявления «слабых» признаков нарушений информационной безопасности". "Информатика и её применение", 2019, т. 13, в. 3, стр. 3–8
  11. Я. М. Агаларов, М. Г. Коновалов "Доказательство унимодальности целевой функции в задаче порогового управления нагрузкой на сервер". "Информатика и её применение", 2019, т. 13, в. 2, стр. 2–6
  12. Захаров В.Н., Мусабаев Р.Р., Красовицкий А.М., Козловская Я.Д., Хорошилов Александр А., Хорошилов Алексей А. МЕТОД КЛАСТЕРИЗАЦИИ НОВОСТНЫХ СООБЩЕНИЙ СМИ НА ОСНОВЕ ИХ КОНЦЕПТУАЛЬНОГО АНАЛИЗА. Информатика и ее применения. 2019. Т. 29. № 3. С. 52.
  13. Ю.А. Флеров, Л.Л. Вышинский "Автоматизация проектирования прикладных информационно-вычислительных систем". "Информационные технологии и вычислительные системы", т. 3, стр. 29-41, 2018
  14. М.С. Ладнушкин "Исследование метода дублирования триггеров в средствах тестирования с компрессией". "Информационные технологии и вычислительные системы", т. 3, стр. 42-51, 2018
  15. С.К. Сомов "Репликация данных как инструмент повышения надежности функционирования распределенных систем". "Информационные технологии и вычислительные системы", т. 3, стр. 69-79, 2018

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