Daniil O. Kuts

Publication Activity (10 Years)

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

Top Topics

Security Problems

Test Generation

Symbolic Execution

Inter Disciplinary

Top Venues

Program. Comput. Softw.

Publications

Timofey Mezhuev, Ilay Kobrin, Alexey V. Vishnyakov, Daniil O. Kuts
Numeric Truncation Security Predicate. CoRR (2023)
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)
Alexey V. Vishnyakov, Vlada Logunova, Eli Kobrin, Daniil O. Kuts, Darya Parygina, Andrey Fedotov
Symbolic Security Predicates: Hunt Program Weaknesses. CoRR (2021)
Daniil O. Kuts
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution. 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)
A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov
A Formal Model for Detecting Bugs by Symbolic Execution of Programs. Program. Comput. Softw. 46 (8) (2020)