ИСТИНА

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

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

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

Соавторы: Курмангалеев Ш.Ф., Нурмухаметов А.Р., Logunova V., Гайсарян С.С., Кобрин И.А., Парыгина Д.А., Fedotov A., Kutz D., Федотов А.Н., Жаботинский Е.А., Belecky P., Novikov A., Nurmukhametov A. показать полностью..., Savidov G., Каушан В.В., Падарян В.А.

13 статей, 7 докладов на конференциях, 3 тезисов докладов, 1 НИР, 10 свидетельств о регистрации прав на ПО, 1 диссертация

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

IstinaResearcherID (IRID): 38265437

ResearcherID: AAN-3944-2021

Scopus Author ID: 57259933600

ORCID: 0000-0003-1819-220X

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

---

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

  • • 2022 Исследование свойств алгоритма слайсинга предиката пути
    • Вишняков А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 34, № 3, с. 7-12 DOI
  • • 2022 Поиск ошибок в бинарном коде методами динамической символьной интерпретации
    • Вишняков А.В., Кобрин И.А., Федотов А.Н.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 34, № 2, с. 25-42 DOI
  • 
    • 2021 Survey of Methods for Automated Code-Reuse Exploit Generation
    • Vishnyakov A.V., Nurmukhametov A.R.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 47, № 4, с. 271-297 DOI
  • 
    • 2019 A Method for Analyzing Code-Reuse Attacks
    • Vishnyakov A.V., Nurmukhametov A.R., Kurmangaleev Sh F., Gaisaryan S.S.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 45, № 8, с. 473-484 DOI
  • • 2019 Обзор методов автоматизированной генерации эксплойтов повторного использования кода
    • Вишняков А.В., Нурмухаметов А.Р.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 6, с. 99-124 DOI
  • 
    • 2018 Fine-Grained Address Space Layout Randomization on Program Load
    • Nurmukhametov A.R., Zhabotinskiy E.A., Kurmangaleev Sh F., Gaissaryan S.S., Vishnyakov A.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 44, № 5, с. 363-370 DOI
  • • 2018 Метод анализа атак повторного использования кода
    • Вишняков А.В., Нурмухаметов А.Р., Курмангалеев Ш.Ф., Гайсарян С.С.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 5, с. 31-54 DOI
  • • 2017 Мелкогранулярная рандомизация адресного пространства программы при запуске
    • Нурмухаметов А.Р., Жаботинский Е.А., Курмангалеев Ш.Ф., Гайсарян С.С., Вишняков А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 29, № 6, с. 163-182 DOI
  • • 2016 Классификация ROP гаджетов
    • Вишняков А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 6, с. 27-36 DOI
  • • 2016 Оценка критичности программных дефектов в условиях работы современных защитных механизмов
    • Федотов А.Н., Падарян В.А., Каушан В.В., Курмангалеев Ш.Ф., Вишняков А.В., Нурмухаметов А.Р.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 5, с. 73-92 DOI

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

  • • 2022 Strong Optimistic Solving for Dynamic Symbolic Execution
    • Parygina Darya, Vishnyakov Alexey, Fedotov Andrey
    • в сборнике 2022 Ivannikov Memorial Workshop (IVMEM), место издания IEEE, с. 43-53 DOI
  • • 2022 Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
    • Vishnyakov Alexey, Kuts Daniil, Logunova Vlada, Parygina Darya, Kobrin Eli, Savidov Georgy, Fedotov Andrey
    • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States), с. 111-123 DOI
  • 
    • 2020 Sydr: Cutting Edge Dynamic Symbolic Execution
    • Vishnyakov Alexey, Fedotov Andrey, Kuts Daniil, Novikov Alexander, Parygina Darya, Kobrin Eli, Logunova Vlada, Belecky Pavel, Kurmangaleev Shamil
    • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE, с. 46-54 DOI

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

  • • 2022 Strong Optimistic Solving for Dynamic Symbolic Execution (Устный)
    • Авторы: Parygina Darya, Vishnyakov Alexey, Fedotov Andrey
    • Международная конференция "Иванниковские чтения", Казань, Россия, 23-24 сентября 2022
  • • 2022 Гибридный фаззинг фреймворка машинного обучения TensorFlow (Устный)
    • Авторы: Кобрин И.А., Вишняков А.В., Федотов А.Н.
    • 31 конференция «Методы и технические средства обеспечения безопасности информации» (МиТСОБИ), Санкт-Петербург, Россия, 27-30 июня 2022
  • • 2022 Символьные предикаты безопасности в гибридном фаззинге (Устный)
    • Авторы: Вишняков А.В., Кобрин И.А., Федотов А.Н.
    • 31 конференция «Методы и технические средства обеспечения безопасности информации» (МиТСОБИ), Санкт-Петербург, Россия, 27-30 июня 2022
  • • 2020 Sydr: Cutting Edge Dynamic Symbolic Execution (Устный)
    • Авторы: Vishnyakov Alexey, Fedotov Andrey, Kuts Daniil, Novikov Alexander, Parygina Darya, Kobrin Eli, Logunova Vlada, Belecky Pavel, Kurmangaleev Shamil
    • 2020 IVANNIKOV ISP RAS OPEN CONFERENCE, Москва, Россия, 10-12 декабря 2020
  • • 2018 Method for analysis of code-reuse attacks (Устный)
    • Авторы: Alexey Vishnyakov, Shamil Kurmangaleev, Sergey Gaisaryan, Alexey Nurmukhametov
    • Открытая конференция ИСП РАН им. В.П. Иванникова, МОСКВА, 22-23 Ноября 2018 Г., Москва, Россия, 22-23 ноября 2018
  • • 2016 Классификация ROP гаджетов (Устный)
    • Автор: Вишняков А.В.
    • ISPRAS Open, Москва, Россия, 1-2 декабря 2016
  • • 2016 Оценка критичности программных дефектов в условиях работы современных защитных механизмов (Устный)
    • Авторы: Федотов А.Н., Падарян В.А., Нурмухаметов А.Р., Курмангалеев Ш.Ф., Вишняков А.В., Каушан В.В.
    • ISPRAS Open, Москва, Россия, 1-2 декабря 2016

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

  • • 2021 MAJORCA: Multi-Architecture JOP and ROP Chain Assembler
    • Nurmukhametov Alexey, Vishnyakov Alexey, Logunova Vlada, Kurmangaleev Shamil
    • в сборнике Proceedings of the 2020 Ivannikov Ispras Open Conference, издательство IEEE Computer Society Press (Los Alamitos, CA, United States), тезисы, с. 37-46 DOI
  • • 2021 Symbolic Security Predicates: Hunt Program Weaknesses
    • Vishnyakov Alexey, Logunova Vlada, Kobrin Eli, Kuts Daniil, Parygina Darya, Fedotov Andrey
    • в сборнике Proceedings of the 2020 Ivannikov Ispras Open Conference, издательство IEEE Computer Society Press (Los Alamitos, CA, United States), тезисы, с. 76-85 DOI
  • • 2018 Разработка и реализация метода анализа атак повторного использования кода
    • Вишняков А.В.
    • в сборнике Сборник тезисов лучших выпускных квалификационных работ факультета ВМК МГУ 2018 года, место издания Издательский отдел Факультета ВМиК МГУ им. М.В. Ломоносова; МАКС Пресс Москва, тезисы, с. 89-91

• НИРы

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

• Свидетельства о регистрации прав на программное обеспечение

  • • 2023 Casr-python (SOFT)
    • Авторы: Егоров И.Г., Федотов А.Н., Вишняков А.В., Савидов Г.А.
    • #2023614040, 21 февраля
  • • 2022 Casr-cluster (SOFT)
    • Авторы: Федотов А.Н., Вишняков А.В., Савидов Г.А.
    • #2022665976, 17 августа
  • • 2022 Casr-san (SOFT)
    • Авторы: Федотов А.Н., Вишняков А.В., Савидов Г.А.
    • #2022665975, 17 августа
  • • 2021 Sydr-fuzz (SOFT)
    • Авторы: Федотов А.Н., Вишняков А.В., Куц Д.О.
    • #2021665874, 24 сентября
  • • 2021 Caesar: Crash Analysis Estimating Severity and Report (SOFT)
    • Авторы: Федотов А.Н., Вишняков А.В., Курмангалеев Ш.Ф.
    • #2021660399, 11 июня
  • • 2020 Инструмент динамической символьной интерпретации "Sydr" (SOFT)
    • Авторы: Вишняков А.В., Федотов А.Н., Куц Д.О., Новиков А.А., Курмангалеев Ш.Ф.
    • #2020662214, 30 сентября
  • • 2019 Инструмент мультиархитектурной генерации цепочек возвратно-ориентированного программирования "MAJORCA" (SOFT)
    • Авторы: Вишняков А.В., Нурмухаметов А.Р., Курмангалеев Ш.Ф., Федотов А.Н.
    • #2019664648, 17 октября
  • • 2019 Восстановление отладочной информации в бинарном файле "BINRECOVERY" (SOFT)
    • Авторы: Курмангалеев Ш.Ф., Нурмухаметов А.Р., Вишняков А.В., Федотов А.Н.
    • #2019661046, 1 августа
  • • 2019 Инструмент восстановления семантики цепочек возвратно-ориентированного программирования "ROPDEC" (SOFT)
    • Авторы: Курмангалеев Ш.Ф., Нурмухаметов А.Р., Вишняков А.В., Федотов А.Н.
    • #2019660637, 1 августа
  • • 2019 Инструмент классификации гаджетов возвратно-ориентированного программирования "GCF" (SOFT)
    • Авторы: Курмангалеев Ш.Ф., Нурмухаметов А.Р., Вишняков А.В., Федотов А.Н.
    • #2019660612, 1 августа

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

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

---