Andrey Fedotov

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Symbolic Execution

Supervised Clustering

Static Analysis

Top Venues

Publications

Ilya Yegorov, Eli Kobrin, Darya Parygina, Alexey V. Vishnyakov, Andrey Fedotov
Python Fuzzing for Trustworthy Machine Learning Frameworks. CoRR (2024)
Alexey V. Vishnyakov, Daniil O. Kuts, Vlada Logunova, Darya Parygina, Eli Kobrin, Georgy Savidov, Andrey Fedotov
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle. CoRR (2022)
Darya Parygina, Alexey V. Vishnyakov, Andrey Fedotov
Strong Optimistic Solving for Dynamic Symbolic Execution. CoRR (2022)
Alexey V. Vishnyakov, Vlada Logunova, Eli Kobrin, Daniil O. Kuts, Darya Parygina, Andrey Fedotov
Symbolic Security Predicates: Hunt Program Weaknesses. CoRR (2021)
Georgy Savidov, Andrey Fedotov
Casr-Cluster: Crash Clustering for Linux Applications. CoRR (2021)
Alexey V. Vishnyakov, Andrey Fedotov, Daniil O. Kuts, Alexander A. Novikov, Darya Parygina, Eli Kobrin, Vlada Logunova, Pavel Belecky, Shamil F. Kurmangaleev
Sydr: Cutting Edge Dynamic Symbolic Execution. CoRR (2020)