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)

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)

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

LibAFL-DiFuzz: Advanced Architecture Enabling Directed Fuzzing. - Darya Parygina; Timofey Mezhuev; Daniil O. Kuts (CoRR, 2024)

Hybrid Approach to Directed Fuzzing. - Darya Parygina; Timofey Mezhuev; Daniil O. Kuts (CoRR, 2025)