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


Нурмухаметов Алексей Раисович

Применение диверсифицирующих преобразований для защиты от эксплуатации уязвимостей

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

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

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

Дата размещения: 23 марта 2021.
Текст диссертации: Скачать

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

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

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

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

  1. “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
  2. 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.
  3. “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.
  4. 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.
  5. 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.
  6. 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
  7. 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
  8. 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.
  9. Boos E.E., Bunichev V.E., Dubinin M.N., Ilyin V.A., Savrin V.I. CompHEP: developments and applications. IOP Conf. Series: Journal of Physics: Conf. Series, v.920, №1, p.012007, 2017. DOI: 10.1088/1742-6596/920/1/012007
  10. A. Polyakov, D. Kokovin, A. Poida, M. Zhizhin, A. Andreev, V. Ilyin. Toolkit for intensive work with metadata in specialized information systems. Procedia Computer Science, Elsevier B.V., v.119, p.59-64, 2017. DOI: 10.1016/j.procs.2017.11.160

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

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

Место работы, должность: Публичное акционерное общество «Институт электронных управляющих машин им.И.С.Брука», начальник отделения «Системы программирования».

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

  1. Нейман-заде М.И., Волконский В.Ю. Среды программирования и оптимизирующие компиляторы для компьютеров с микропроцессорами архитектуры «ЭЛЬБРУС» // Приборы. 2018. №.8. С. 21-29.
  2. Русяев Р.М., Нейман-заде М.И., Ермолицкий А.Е., Волконский В.Ю. Программно-аппаратные средства выявления ошибок обращения к памяти для архитектуры «Эльбрус». //Вопросы радиоэлектроники, сер. ЭВТ вып. 2, 2017, №3. С.33-38.
  3. Ким А.К., Волконский В.Ю., Груздов Ф.А., Нейман-заде М.И., Тихорский В.В. Аппаратно-программные технологии, реализованные на базе микропроцессоров с архитектурой «Эльбрус». // Качество и жизнь. Научно-производственный и культурно-образовательный ж-л Миннауки. Специальный выпуск. 2016. С.81-89.
  4. Roman M. Rusiaev, Murad I. Neiman-Zade, Alexandr V. Ermolitsky, Valery I. Perekatov, and Vladimir Yu. Volkonsky. Various Buffer Overflow Detection Means for Elbrus Microprocessors. // IEEE Proceedins of the 2016 International Conference on Engineering and Telecommunication (EnT-2016). November 29, 2016. P.118-122.

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

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

Контактные данные: 117218, г.Москва, Нахимовский просп., 36 к.1, +7(495)718-21-10, niisi@niisi.msk.ru, https://www.niisi.ru/

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

  1. А.И. Грюнталь, К.Г. Нархов. Методы удаленной отладки ПЛК в среде ТСАГ СПО. Труды НИИСИ РАН, т. 10, № 5-6, с. 120-126, 2020.
  2. Д.Б. Аглямутдинова, М.В.Райко, А.Г. Леонов. Построение компилятора-интерпретатора для гибридной текстово-пиктограммной цифровой образовательной среды ПиктоМир-К. Труды НИИСИ РАН, т. 10, № 5-6, с. 147-159, 2020.
  3. Н.И. Вьюкова, В.А. Галатенко, А.Н.Годунов, С.В.Самборский, И.И.Хоменков. Разделяемые библиотеки для операционной системы реального времени. Труды НИИСИ РАН, т. 10, № 1, с. 4-17, 2020.
  4. В.А. Галатенко, К.А. Костюхин. Посмертный анализ процессов ОСРВ Багет с использованием аварийных дампов состояния. Труды НИИСИ РАН, т. 10, № 1, с. 17-22, 2020.
  5. N.I. V’yukova, V.A. Galatenko, S.V. Samborskii. Dynamic Program Analysis Tools in GCC and CLANG Compilers. Programming and Computer Software, v. 46, pp. 281–296, 2020. DOI: 10.1134/S0361768820010089.
  6. Контейнеризация пользовательских заданий в суперкомпьютерной системе коллективного пользования. Труды НИИСИ РАН, т. 9, № 6, с. 123-132, 2019.
  7. А.Н. Годунов, В.А. Солдатов. Методы и средства оценки объема памяти, требуемой для выполнения образа ОСРВ Багет. Труды НИИСИ РАН, т. 8, № 5, с. 42-53, 2018.
  8. В.А. Галатенко, К.А. Костюхин, М.Д. Дзабраев. Тестирование инструментальных средств разработки ПО. Труды НИИСИ РАН, т. 8, № 2, с. 35-46, 2018.
  9. А.С. Куцаев. Развитие генератора случайных тестов tergen. Труды НИИСИ РАН, т. 8, № 1, с. 19-27, 2018.
  10. Kryzhanovsky B.V., Litinskii L.B. Applicability of n-vicinity method for calculation of free energy of Ising model // Physica A. 2017. Vol. 468. PP. 493–507.
  11. Karandashev I.M., Malsagov M. Yu. Polynomial algorithm for exact calculation of partition function for binary spin model on planar graphs // Optical Memory and Neural Networks. 2017. Vol. 26. No. 2. PP. 87–95
  12. Negrov D, Karandashev I., V. Shakirov V., Matveyev Yu., Dunin-Barkowski W., Zenkevich A. An approximate backpropagation learning rule for memristor based neural networks using synaptic plasticity // Neurocomputing. 2017. Vol. 237. PP. 193–199.
  13. Котов В.Б. К вопросу о формировании целей // XIX Международная научно-техническая конференция Нейроинформатика-2017. Сборник научных трудов. Часть 1. М.: НИЯУ МИФИ, 2017. С. 182–192.
  14. Смирнитская И.А. Павловско-инструментальный перенос и система, управляющая поведенческим выбором // XIX Международная конференция Нейроинформатика-2017. Сборник научных трудов. Часть 2. С. 123–131.
  15. Red’ko V.G. Mechanisms of interaction between learning and evolution // Biologically Inspired Cognitive Architectures. 2017. Vol. 22. PP. 95–103.
  16. Ю.А. Семенов, А.П. Овсянников, Т.В. Овсянникова. Разработка банка алгоритмов и основ языка описания проблемы с целью минимизации числа программных ошибок. Труды НИИСИ РАН, т. 6, № 2, с. 96-101, 2016.
  17. А.Н.Годунов, В.А.Солдатов. Повышение надёжности и масштабирование многопроцессорных систем в ОС РВ Багет. Труды НИИСИ РАН, т. 6, № 2, с. 119-126, 2016.

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

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

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

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