Daniil O. Kuts

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

Collaborative distances:

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

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