14 citations · 30 across the 4 of their papers we have counts for
4 papers
Python Fuzzing for Trustworthy Machine Learning Frameworks
Ilya Yegorov, Eli Kobrin, Darya Parygina +2
Ensuring the security and reliability of machine learning frameworks is crucial for building trustworthy AI-based systems. Fuzzing, a popular technique in secure software developme…
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
Alexey Vishnyakov, Daniil Kuts, Vlada Logunova +4
Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements…
Symbolic Security Predicates: Hunt Program Weaknesses
Alexey Vishnyakov, Vlada Logunova, Eli Kobrin +3
Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect u…
Sydr: Cutting Edge Dynamic Symbolic Execution
Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts +6
The security development lifecycle (SDL) is becoming an industry standard. Dynamic symbolic execution (DSE) has enormous amount of applications in computer security (fuzzing, vulne…