14 citations · 47 across the 8 of their papers we have counts for
8 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…
Numeric Truncation Security Predicate
Timofey Mezhuev, Ilay Kobrin, Alexey Vishnyakov +1
Numeric truncation is a widely spread error in software written in languages with static data typing, such as C/C++ or Java. It occurs when the significant bits of the value with a…
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…
Strong Optimistic Solving for Dynamic Symbolic Execution
Darya Parygina, Alexey Vishnyakov, Andrey Fedotov
Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration duri…
MAJORCA: Multi-Architecture JOP and ROP Chain Assembler
Alexey Nurmukhametov, Alexey Vishnyakov, Vlada Logunova +1
Nowadays, exploits often rely on a code-reuse approach. Short pieces of code called gadgets are chained together to execute some payload. Code-reuse attacks can exploit vulnerabili…
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…