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 | 29 | 2020 |
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 | 12 | 2022 |
Оценка критичности программных дефектов в условиях работы современных защитных механизмов АН Федотов, ВА Падарян, ВВ Каушан, ШФ Курмангалеев, ... Труды института системного программирования РАН 28 (5), 73-92, 2016 | 12 | 2016 |
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 | 10 | 2021 |
Survey of Methods for Automated Code-Reuse Exploit Generation AV Vishnyakov, AR Nurmukhametov Programming and Computer Software 47 (4), 271-297, 2021 | 10 | 2021 |
Мелкогранулярная рандомизация адресного пространства программы при запуске АР Нурмухаметов, ЕА Жаботинский, ШФ Курмангалеев, СС Гайсарян, ... Труды института системного программирования РАН 29 (6), 163-182, 2017 | 10 | 2017 |
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 | 10 | 2016 |
Классификация ROP гаджетов АВ Вишняков Труды Института системного программирования РАН 28 (6), 27-36, 2016 | 10 | 2016 |
Classification of ROP gadgets AV Vishnyakov Proceedings of the Institute for System Programming of the RAS 28 (6), 27-36, 2016 | 10 | 2016 |
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 | 6 | 2018 |
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 | 5 | 2021 |
Strong optimistic solving for dynamic symbolic execution D Parygina, A Vishnyakov, A Fedotov 2022 Ivannikov Memorial Workshop (IVMEM), 43-53, 2022 | 4 | 2022 |
A Method for Analyzing Code-Reuse Attacks AV Vishnyakov, AR Nurmukhametov, SF Kurmangaleev, SS Gaisaryan Programming and Computer Software 45 (8), 473-484, 2019 | 2 | 2019 |
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 | 2 | 2018 |
Обзор методов автоматизированной генерации эксплойтов повторного использования кода АВ Вишняков, АР Нурмухаметов Труды Института системного программирования РАН 31 (6), 99-124., 2019 | 1 | 2019 |
Метод анализа атак повторного использования кода АВ Вишняков, АР Нурмухаметов, ШФ Курмангалеев, СС Гайсарян Труды Института системного программирования РАН 30 (5), 31-54, 2018 | 1 | 2018 |
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 | 1 | 2017 |
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 2023 Ivannikov Ispras Open Conference (ISPRAS), 84-92, 2023 | | 2023 |
Analyzing properties of path predicate slicing algorithm AV VISHNYAKOV Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2022 | | 2022 |