Daniil O. Kuts

According to our database, Daniil O. Kuts authored at least 9 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2026

Rust and Go directed fuzzing with LibAFL-DiFuzz.

Timofey Mezhuev, Darya Parygina, Daniil O. Kuts

CoRR, January, 2026

2025

Hybrid Approach to Directed Fuzzing.

Darya Parygina, Timofey Mezhuev, Daniil O. Kuts

CoRR, July, 2025

2024

LibAFL-DiFuzz: Advanced Architecture Enabling Directed Fuzzing.

Darya Parygina, Timofey Mezhuev, Daniil O. Kuts

CoRR, 2024

2023

Numeric Truncation Security Predicate.

Timofey Mezhuev, Ilay Kobrin, Alexey V. Vishnyakov, Daniil O. Kuts

CoRR, 2023

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

2021

Symbolic Security Predicates: Hunt Program Weaknesses.

Alexey V. Vishnyakov, Vlada Logunova, Eli Kobrin, Daniil O. Kuts, Darya Parygina, Andrey Fedotov

CoRR, 2021

Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution.

Daniil O. Kuts

CoRR, 2021

2020

A Formal Model for Detecting Bugs by Symbolic Execution of Programs.

A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov

Program. Comput. Softw., 2020

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