ИСТИНА

Соловьев Михаил Александрович пользователь

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

кандидат физико-математических наук с 2013 года

Прежние места работы (Нажмите для отображения)

Соавторы: Падарян В.А., Манушин Д.В., Бакулин М.Г., Гетьман А.И., Бугеря А.Б., Аветисян А.И., Борзилов А.И., Кононов А.И., Evgin A.A., Panasenko S.S., Батузов К.А., Белеванцев А.А., Ефимов В.Ю. показать полностью..., Жуйков Р.А., Кудрявцев А.О., Кузьменкова Е.А., Ледовских И.Н., Макаров С.С., Папазьян Е.Ю., Тихонов А.Ю.

20 статей, 2 книги, 8 докладов на конференциях, 3 тезисов докладов, 3 НИР, 1 диссертация, 2 учебных курса

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

IstinaResearcherID (IRID): 11462701

Scopus Author ID: 57204968866

ORCID: 0000-0002-0530-6442

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

---

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

  • • 2022 A Model and Declarative Language for Specifying Binary Data Formats
    • Evgin A.A., Solovev M.A., Padaryan V.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 48, № 7, с. 469-483 DOI
  • • 2021 Модель и декларативный язык спецификации бинарных форматов данных
    • Евгин А.А., Соловьев М.А., Падарян В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 6, с. 27-50 DOI
  • • 2020 Практическая абстрактная интерпретация бинарного кода
    • Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 101-110 DOI
  • 
    • 2019 Automated Generation of Machine Instruction Decoders
    • Fokina N.Yu, Solovev M.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 45, № 7, с. 390-397 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 Parallelization of Implementations of Purely Sequential Algorithms
    • Bugerya A.B., Kim E.S., Solovev M.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 45, № 7, с. 381-389 DOI
  • • 2019 Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода
    • Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 6, с. 65-88 DOI
  • • 2019 Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода
    • Бугеря А.Б., Ефимов В.Ю., Кулагин И.И., Падарян В.А., Соловьев М.А., Тихонов А.Ю.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 6, с. 33-64 DOI
  • • 2018 Автоматизированная генерация декодеров машинных команд
    • Fokina N.Yu, Solovev M.A.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 2, с. 65-80 DOI
  • • 2018 О новом поколении промежуточных представлений, применяемом для анализа бинарного кода
    • Соловьев М.А., Бакулин М.Г., Горбачев М.С., Манушин Д.В., Падарян В.А., Панасенко С.С.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 6, с. 39-68 DOI
  • • 2018 Распараллеливание реализаций сугубо последовательных алгоритмов
    • Бугеря А.Б., Ким Е.С., Соловьев М.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 2, с. 25-44 DOI
  • 
    • 2014 Methods and software tools to support combined binary code analysis
    • Padaryan V.A., Getman A.I., Solovyev M.A., Bakulin M.G., Borzilov A.I., Kaushan V.V., Ledovskikh I.N., Markin Yu V., Panasenko S.S.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 40, № 5, с. 276-287 DOI
  • • 2014 Методы и программные средства, поддерживающие комбинированный анализ бинарного кода
    • Падарян В.А., Гетьман А.И., Соловьев М.А., Бакулин М.Г., Borzilov A.I.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 251-276
  • 
    • 2013 Combined approach to solving problems in binary code analysis
    • Getman A., Padaryan V., Solovyev M.
    • в журнале Proceedings of 9th International Conference on Computer Science and Information Technologies (CSIT’2013), с. 295-297
  • • 2011 Возможности среды анализа бинарного кода ТРАЛ и актуальные направления ее развития
    • Аветисян А.И., Гетьман А.И., Падарян В.А., Соловьев М.А., Тихонов А.Ю.
    • в журнале Методы и технические средства обеспечения безопасности информации, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), с. 120-123
  • • 2011 Моделирование операционной семантики машинных инструкций
    • Падарян В.А., Соловьев М.А., Кононов А.И.
    • в журнале Программирование, № 3, с. 50-64
  • • 2010 Моделирование операционной семантики машинных инструкций
    • Падарян В.А., Соловьев М.А., Кононов А.И.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 19, с. 165-186
  • • 2010 О некоторых методах повышения уровня представления при анализе защищенного бинарного кода
    • Аветисян А.И., Падарян В.А., Гетьман А.И., Соловьев М.А.
    • в журнале Методы и технические средства обеспечения безопасности информации, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), с. 97-98
  • • 2009 Программная среда для динамического анализа бинарного кода
    • Падарян В.А., Соловьев М.А., Гетьман А.И.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 16, с. 51-72

• Статьи в сборниках

  • • 2019 Recovery of High-Level Intermediate Representations of Algorithms from Binary Code
    • Alexander Bugerya, Ivan Kulagin, Vartan Padaryan, Mikhail Solovev, Andrei Tikhonov
    • в сборнике IVMEM 2019: Ivannikov Memorial Workshop, Velikiy Novgorod, Russian Federation 13-14 September 2019, издательство IEEE Computer Society (United States), с. 57-63

• Книги

  • • 2014 Семинары по курсу "Архитектура ЭВМ и язык ассемблера". Часть 2. учебно-методическое пособие
    • Кузьменкова Е.А., Падарян В.А., Соловьев М.А.
    • место издания Издательский отдел факультета ВМиК МГУ имени М.В.Ломоносова М, ISBN 978-5-89407-530-3, 100 с.
  • • 2012 Практические задачи по вводному курсу программирования: учебное пособие
    • Батузов К.А., Белеванцев А.А., Жуйков Р.А., Кудрявцев А.О., Падарян В.А., Соловьев М.А.
    • место издания Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова Москва, ISBN 978-5-89407-498-6, 80 с.

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

  • • 2020 Практическая абстрактная интерпретация бинарного кода (Устный)
    • Авторы: Соловьев М.А., Бакулин М.Г., Макаров С.С., Манушин Д.В., Падарян В.А.
    • ОТКРЫТАЯ КОНФЕРЕНЦИЯ ИСП РАН ИМ. В.П. ИВАННИКОВА, Москва, Россия, 10-11 декабря 2020
  • • 2020 Построение предиката пути как задача абстрактной интерпретации бинарного кода (Устный)
    • Авторы: Соловьев М.А., Манушин Д.В., Папазьян Е.Ю., Макаров С.С.
    • Ломоносовские чтения-2020. Секция "Вычислительной математики и кибернетики (НИВЦ)", Россия, 29 октября 2020
  • • 2019 Абстрактная интерпретация бинарного кода как универсальная платформа анализа (Устный)
    • Авторы: Соловьев М.А., Бакулин М.Г., Горбачев М.С., Манушин Д.В., Падарян В.А., Панасенко С.С.
    • РусКрипто'2019, Россия, 21 марта 2019
  • • 2018 Учебный курс «Архитектура ЭВМ и язык ассемблера» с точки зрения системного программиста (Устный)
    • Авторы: Соловьев М.А., Падарян В.А., Батузов К.А.
    • OS DAY 2018, Москва, Россия, 17-18 мая 2018
  • • 2018 Methods and software tools for analysis of binary code security (Устный)
    • Авторы: Горемыкин О.В., Панасенко С., Бакулин М.Г., Ефимов В.Ю., Батузов К.А., Гетьман А.И., Соловьев М.А., Падарян В.А.
    • Ivannikov Memorial Workshop, Ереван, Армения, 3-4 мая 2018
  • • 2018 Обнаружение утечек чувствительных данных в исполняемом коде (Устный)
    • Авторы: Соловьев М.А., Манушин Д.В., Падарян В.А.
    • Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
  • • 2017 Извлечение алгоритмов из бинарного кода для повторения использования (Устный)
    • Авторы: Манушин Дмитрий Валерьевич, Соловьев Михаил Александрович
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2013 Combined approach to solving problems in binary code analysis (Устный)
    • Авторы: Mikhail Solovyev, Alexander Getman, Vartan Padaryan
    • 9th International Conference on Computer Science and Information Technologies , Ереван, Армения, 23-27 сентября 2013

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

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

• НИРы

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

• Диссертация

  • • 2013 Восстановление алгоритма по набору бинарных трасс
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Соловьев Михаил Александрович, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Аветисян А.И., д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН

• Авторство учебных курсов

  • • 2011 Архитектура ЭВМ и язык ассемблера (семинары)
    • Авторы: Корухова Л.С., Падарян В.А., Кузьменкова Е.А., Соловьев М.А., Иванников В.П.
  • • 2010 Алгоритмы и алгоритмические языки (семинары)
    • Авторы: Корухова Л.С., Белеванцев А.А., Кузьменкова Е.А., Соловьев М.А.

---