Fine-Grained Address Space Layout Randomization on Program Load. - Alexey R. Nurmukhametov; E. A. Zhabotinskiy; Shamil F. Kurmangaleev; Sergey S. Gaissaryan; Alexey V. Vishnyakov (Program. Comput. Softw., 2018)

A Method for Analyzing Code-Reuse Attacks. - Alexey V. Vishnyakov; Alexey R. Nurmukhametov; Shamil F. Kurmangaleev; Sergey S. Gaisaryan (Program. Comput. Softw., 2019)

Sydr: Cutting Edge Dynamic Symbolic Execution. - Alexey V. Vishnyakov; Andrey Fedotov; Daniil O. Kuts; Alexander A. Novikov; Darya Parygina; Eli Kobrin; Vlada Logunova; Pavel Belecky; Shamil F. Kurmangaleev (CoRR, 2020)

Symbolic Security Predicates: Hunt Program Weaknesses. - Alexey V. Vishnyakov; Vlada Logunova; Eli Kobrin; Daniil O. Kuts; Darya Parygina; Andrey Fedotov (CoRR, 2021)

MAJORCA: Multi-Architecture JOP and ROP Chain Assembler. - Alexey R. Nurmukhametov; Alexey V. Vishnyakov; Vlada Logunova; Shamil F. Kurmangaleev (CoRR, 2021)

Survey of Methods for Automated Code-Reuse Exploit Generation. - Alexey V. Vishnyakov; Alexey R. Nurmukhametov (Program. Comput. Softw., 2021)

Strong Optimistic Solving for Dynamic Symbolic Execution. - Darya Parygina; Alexey V. Vishnyakov; Andrey Fedotov (CoRR, 2022)

Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle. - Alexey V. Vishnyakov; Daniil O. Kuts; Vlada Logunova; Darya Parygina; Eli Kobrin; Georgy Savidov; Andrey Fedotov (CoRR, 2022)

Numeric Truncation Security Predicate. - Timofey Mezhuev; Ilay Kobrin; Alexey V. Vishnyakov; Daniil O. Kuts (CoRR, 2023)

Python Fuzzing for Trustworthy Machine Learning Frameworks. - Ilya Yegorov; Eli Kobrin; Darya Parygina; Alexey V. Vishnyakov; Andrey Fedotov (CoRR, 2024)