Образование и ученая степень: окончил физтех-класс школы № 1189 имени И.В. Курчатова г. Москвы в 2014 г. Окончил бакалавриат факультета ВМК МГУ на кафедре системного программирования в 2018 г. Окончил магистерскую программу по направлению «компиляторные технологии» факультета ВМК МГУ в 2020 г. Получил степень кандидата физико-математических наук в ИСП РАН в 2022 г.

Область научных интересов: компьютерная безопасность, жизненный цикл безопасной разработки (SDL), символьное выполнение, фаззинг, автоматическое обнаружение ошибок, возвратно-ориентированное программирование (ROP), динамический анализ, бинарный анализ, компиляторы и разработка инструментов для всего выше.

Руководство дипломными работами за последние три года:

  1. ВКР «Символьные предикаты безопасности для обнаружения ошибок в бинарном коде», Кобрин И.А., 2023 г.
  2. ВКР «Устранение избыточных ограничений в процессе динамической символьной интерпретации», Парыгина Д.А., 2023 г.
  3. Магистерская диссертация «Моделирование семантики функций во время динамической символьной интерпретации», Логунова В.И., 2022 г.
  4. ВКР «Разработка и реализация метода генерации возвратно-ориентированных программ», Логунова В.И., 2020 г.

Публикации за последние три года:

  1. Vishnyakov A., Kuts D., Logunova V., Parygina D., Kobrin E., Savidov G., Fedotov A. Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle. 2022 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2022. https://arxiv.org/abs/2211.11595
  2. Вишняков А.В. Исследование свойств алгоритма слайсинга предиката пути. Труды Института системного программирования РАН, том 34, вып. 3, 2022, стр. 7-12. DOI: 10.15514/ISPRAS-2022-34(3)-1
  3. Parygina D., Vishnyakov A., Fedotov A. Strong Optimistic Solving for Dynamic Symbolic Execution. 2022 Ivannikov Memorial Workshop (IVMEM), IEEE, 2022. https://arxiv.org/abs/2209.03710
  4. Вишняков А.В., Кобрин И.А., Федотов А.Н. Поиск ошибок в бинарном коде методами динамической символьной интерпретации. Труды Института системного программирования РАН, том 34, вып. 2, 2022, стр. 25-42. DOI: 10.15514/ISPRAS-2022-34(2)-3
  5. Vishnyakov A., Logunova V., Kobrin E., Kuts D., Parygina D., Fedotov A. Symbolic Security Predicates: Hunt Program Weaknesses. 2021 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2021. https://arxiv.org/abs/2111.05770
  6. Nurmukhametov, A., Vishnyakov, A., Logunova V., Kurmangaleev Sh. MAJORCA: Multi-Architecture JOP and ROP Chain Assembler. 2021 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2021. https://arxiv.org/abs/2111.05781
  7. Vishnyakov, A.V. and Nurmukhametov, A.R., 2021. Survey of Methods for Automated Code-Reuse Exploit Generation. Programming and Computer Software 47(4), pp. 271-297. DOI: 10.1134/S0361768821040071 https://arxiv.org/abs/2011.07862
  8. Vishnyakov A., Fedotov A., Kuts D., Novikov A., Parygina D., Kobrin E., Logunova V., Belecky P., Kurmangaleev Sh. Sydr: Cutting Edge Dynamic Symbolic Execution. 2020 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2020, pp. 46-54. DOI: 10.1109/ISPRAS51486.2020.00014. https://arxiv.org/abs/2011.09269

Персональный сайт: https://vishnya.xyz.