Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2111.05770
Cited By
v1
v2 (latest)
Symbolic Security Predicates: Hunt Program Weaknesses
10 November 2021
A. Vishnyakov
Vlada Logunova
Eli Kobrin
D. Kuts
Darya Parygina
A. Fedotov
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Symbolic Security Predicates: Hunt Program Weaknesses"
3 / 3 papers shown
Title
Numeric Truncation Security Predicate
Timofey Mezhuev
Ilay Kobrin
A. Vishnyakov
D. Kuts
17
0
0
11 Dec 2023
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
A. Vishnyakov
D. Kuts
Vlada Logunova
Darya Parygina
Eli Kobrin
Georgy Savidov
A. Fedotov
54
8
0
21 Nov 2022
Strong Optimistic Solving for Dynamic Symbolic Execution
Darya Parygina
A. Vishnyakov
A. Fedotov
41
2
0
08 Sep 2022
1
