ИСТИНА

Манушин Дмитрий Валерьевич пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, другие должности, с 5 октября 2022, по совместительству

Соавторы: Соловьев М.А., Падарян В.А., Бакулин М.Г., Panasenko S.S., Макаров С.С., Папазьян Е.Ю.

4 статьи, 5 докладов на конференциях, 4 тезисов докладов, 2 НИР

Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 1

IstinaResearcherID (IRID): 22337469

Деятельность

• Статьи в журналах

  • • 2020 Практическая абстрактная интерпретация бинарного кода
    • Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 101-110 DOI
  • 
    • 2019 Next-Generation Intermediate Representations for Binary Code Analysis
    • Solovev M.A., Bakulin M.G., Gorbachev M.S., Manushin D.V., Padaryan V.A., Panasenko S.S.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 45, № 7, с. 424-437 DOI
  • • 2019 Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода
    • Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 6, с. 65-88 DOI
  • • 2018 О новом поколении промежуточных представлений, применяемом для анализа бинарного кода
    • Соловьев М.А., Бакулин М.Г., Горбачев М.С., Манушин Д.В., Падарян В.А., Панасенко С.С.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 6, с. 39-68 DOI

• Доклады на конференциях

  • • 2020 Практическая абстрактная интерпретация бинарного кода (Устный)
    • Авторы: Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
    • ОТКРЫТАЯ КОНФЕРЕНЦИЯ ИСП РАН ИМ. В.П. ИВАННИКОВА, Москва, Россия, 10-11 декабря 2020
  • • 2020 Построение предиката пути как задача абстрактной интерпретации бинарного кода (Устный)
    • Авторы: Соловьев М.А., Манушин Д.В., Папазьян Е.Ю., Макаров С.С.
    • Ломоносовские чтения-2020. Секция "Вычислительной математики и кибернетики (НИВЦ)", Россия, 29 октября 2020
  • • 2019 Абстрактная интерпретация бинарного кода как универсальная платформа анализа (Устный)
    • Авторы: Соловьев М.А., Бакулин М.Г., Горбачев М.С., Манушин Д.В., Падарян В.А., Панасенко С.С.
    • РусКрипто'2019, Россия, 21 марта 2019
  • • 2018 Обнаружение утечек чувствительных данных в исполняемом коде (Устный)
    • Авторы: Падарян В.А., Манушин Д.В., Соловьев М.А.
    • Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
  • • 2017 Извлечение алгоритмов из бинарного кода для повторения использования (Устный)
    • Авторы: Манушин Дмитрий Валерьевич, Соловьев Михаил Александрович
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017

• Тезисы докладов

  • • 2020 Построение предиката пути как задача абстрактной интерпретации бинарного кода
    • Соловьев М.А., Манушин Д.В., Папазьян Е.Ю., Макаров С.С.
    • в сборнике Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики», серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 139-140
  • 
    • 2018 Обнаружение утечек чувствительных данных в исполняемом коде
    • Падарян В.А., Соловьев М.А., Манушин Д.В.
    • в сборнике Ломоносовские чтения 2018 ф-т ВМК МГУ, место издания Макс-Пресс, тезисы, с. 95-96
  • • 2017 Извлечение алгоритмов из бинарного кода для повторения использования
    • Соловьев Михаил Александрович, Манушин Дмитрий Валерьевич
    • в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 36-37
  • • 2016 Восстановление зависимостей по управлению в алгоритмах, извлеченных из бинарных трасс
    • Манушин Д.В.
    • в сборнике Сборник тезисов лучших выпускных работ факультета ВМК 2016 года, место издания Москва, тезисы, с. 145-147

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Исследование методов построения систем анализа и проектирования программного обеспечения
    • Кафедра системного программирования
    • Руководитель: Аветисян А.И. Ответственный исполнитель: Корухова Л.С. Участники НИР: Архипенко К.В., Батузов К.А., Бахтин В.А., Белеванцев А.А., Гомзин А.Г., Дудина И.А., Иванишин В.А., Игнатьев В.Н., Козырев В.И., Корныхин Е.В., Кузьменкова Е.А., Кукушкин К.В., Кулямин В.В., Майоров В.Д., Малышев Н.Е., Малышко В.В., Манушин Д.В., Ниськов Ф.В., Падарян В.А., Петренко А.К., Соловьев М.А., Теймуразов К.Б., Турдаков Д.Ю., Хорошилов А.В.
  • • 1 января 2016 - 31 декабря 2020 Развитие теории и методов анализа и проектирования программ
    • Кафедра системного программирования
    • Руководители: Аветисян А.И., Иванников В.П., Корухова Л.С. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Архипенко К.В., Батузов К.А., Белеванцев А.А., Вишняков А.В., Гайсарян С.С., Гомзин А.Г., Дроздова Е.А., Дудина И.А., Жаботинский Е.А., Колганов А.С., Корныхин Е.В., Крюков В.А., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Манушин Д.В., Мордань В.О., Ниськов Ф.В., Падарян В.А., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В., Шарыгин Е.Ю., Яцков А.К., Яшин С.В.