Призер Универсиады «Ломоносов» - 2023 по прикладной математике и информатике

Критерий 7в. Победа или призёрство в олимпиаде, учебном конкурсе и т.п., Университетский уровень [7в-универ-степень]

Государственная регистрация программы для ЭВМ "Инфраструктура доверенных фреймворков машинного обучения"

Критерий 8а, Патент или свидетельство на результат интеллектуальной деятельности [8а-патент]

https://new.fips.ru/registers-doc-view/fips_servlet?DB=EVM&DocNumber=2022685212

ВИШНЯКОВ А.В., КОБРИН И.А., ФЕДОТОВ А.Н. Поиск ошибок в бинарном коде методами динамической символьной интерпретации. Труды Института системного программирования РАН. 2022;34(2):25-42. https://doi.org/10.15514/ISPRAS-2022-34(2)-3

Критерий 8б. Публикация, Единственный автор, Международный уровень [8б-межнар]

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.

Критерий 8б. Публикация, Несколько авторов, Международный уровень [8б-межнар]

https://ieeexplore.ieee.org/abstract/document/10076861

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.

Критерий 8б. Публикация, Несколько авторов, Международный уровень [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.

Критерий 8б. Публикация, Несколько авторов, Международный уровень [8б-межнар]

Кобрин И.А., Вишняков А.В., Федотов А.Н. ГИБРИДНЫЙ ФАЗЗИНГ ФРЕЙМВОРКА МАШИННОГО ОБУЧЕНИЯ TENSORFLOW

Критерий 8б. Публикация, Несколько авторов, Публикация в сборниках при конференциях или сборниках тезисов [8б-сборник]

Вишняков А.В., Кобрин И.А., Федотов А.Н. СИМВОЛЬНЫЕ ПРЕДИКАТЫ БЕЗОПАСНОСТИ В ГИБРИДНОМ ФАЗЗИНГЕ

Критерий 8б. Публикация, Несколько авторов, Публикация в сборниках при конференциях или сборниках тезисов [8б-сборник]

Групповод 103 группы ВМК МГУ

Критерий 9а. Общественно-значимая деятельность, Групповодство [9а-групповод]