Follow
Alexey Vishnyakov
Alexey Vishnyakov
Yandex Cloud
Verified email at yandex-team.ru - Homepage
Title
Cited by
Cited by
Year
Sydr: Cutting Edge Dynamic Symbolic Execution
A Vishnyakov, A Fedotov, D Kuts, A Novikov, D Parygina, E Kobrin, ...
2020 Ivannikov ISPRAS Open Conference (ISPRAS), 46-54, 2020
262020
Оценка критичности программных дефектов в условиях работы современных защитных механизмов
АН Федотов, ВА Падарян, ВВ Каушан, ШФ Курмангалеев, ...
Труды института системного программирования РАН 28 (5), 73-92, 2016
122016
Symbolic Security Predicates: Hunt Program Weaknesses
A Vishnyakov, V Logunova, E Kobrin, D Kuts, D Parygina, A Fedotov
2021 Ivannikov Ispras Open Conference (ISPRAS), 76-85, 2021
102021
Software defect severity estimation in presence of modern defense mechanisms
AN Fedotov, VA Padaryan, VV Kaushan, SF Kurmangaleev, ...
Proceedings of the Institute for System Programming of the RAS 28 (5), 73-92, 2016
102016
Classification of ROP gadgets
AV Vishnyakov
Proceedings of the Institute for System Programming of the RAS 28 (6), 27-36, 2016
102016
Мелкогранулярная рандомизация адресного пространства программы при запуске
АР Нурмухаметов, ЕА Жаботинский, ШФ Курмангалеев, СС Гайсарян, ...
Труды института системного программирования РАН 29 (6), 163-182, 2017
92017
Классификация ROP гаджетов
АВ Вишняков
Труды Института системного программирования РАН 28 (6), 27-36, 2016
82016
Survey of Methods for Automated Code-Reuse Exploit Generation
AV Vishnyakov, AR Nurmukhametov
Programming and Computer Software 47 (4), 271-297, 2021
72021
Fine-Grained Address Space Layout Randomization on Program Load
AR Nurmukhametov, EA Zhabotinskiy, SF Kurmangaleev, SS Gaissaryan, ...
Programming and Computer Software 44 (5), 363-370, 2018
52018
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
A Vishnyakov, D Kuts, V Logunova, D Parygina, E Kobrin, G Savidov, ...
2022 Ivannikov Ispras Open Conference (ISPRAS), 111-123, 2022
42022
MAJORCA: Multi-Architecture JOP and ROP Chain Assembler
A Nurmukhametov, A Vishnyakov, V Logunova, S Kurmangaleev
2021 Ivannikov Ispras Open Conference (ISPRAS), 37-46, 2021
42021
Strong optimistic solving for dynamic symbolic execution
D Parygina, A Vishnyakov, A Fedotov
2022 Ivannikov Memorial Workshop (IVMEM), 43-53, 2022
32022
A Method for Analyzing Code-Reuse Attacks
AV Vishnyakov, AR Nurmukhametov, SF Kurmangaleev, SS Gaisaryan
Programming and Computer Software 45 (8), 473-484, 2019
22019
Method for analysis of code-reuse attacks
AV Vishnyakov, AR Nurmukhametov, SF Kurmangaleev, SS Gaysaryan
Proceedings of the Institute for System Programming of the RAS 30 (5), 31-54, 2018
22018
Обзор методов автоматизированной генерации эксплойтов повторного использования кода
АВ Вишняков, АР Нурмухаметов
Труды Института системного программирования РАН 31 (6), 99-124., 2019
12019
Метод анализа атак повторного использования кода
АВ Вишняков, АР Нурмухаметов, ШФ Курмангалеев, СС Гайсарян
Труды Института системного программирования РАН 30 (5), 31-54, 2018
12018
Fine-grained address space layout randomization on program load
AR Nurmukhametov, EA Zhabotinskiy, SF Kurmangaleev, SS Gaysaryan, ...
Proceedings of the Institute for System Programming of the RAS 29 (6), 163-182, 2017
12017
Python fuzzing for trustworthy machine learning frameworks
I Yegorov, E Kobrin, D Parygina, A Vishnyakov, A Fedotov
arXiv preprint arXiv:2403.12723, 2024
2024
Numeric Truncation Security Predicate
T Mezhuev, I Kobrin, A Vishnyakov, D Kuts
arXiv preprint arXiv:2312.06425, 2023
2023
Analyzing properties of path predicate slicing algorithm
AV VISHNYAKOV
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20