Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
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
Github (36★)
Papers citing
"Symbolic Security Predicates: Hunt Program Weaknesses"
3 / 3 papers shown
Numeric Truncation Security Predicate
Timofey Mezhuev
Ilay Kobrin
A. Vishnyakov
D. Kuts
109
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
276
11
0
21 Nov 2022
Strong Optimistic Solving for Dynamic Symbolic Execution
Darya Parygina
A. Vishnyakov
A. Fedotov
86
4
0
08 Sep 2022
1
Page 1 of 1
