14 citations · 14 across the 1 of their papers we have counts for
4 papers · 1 filter
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: 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…
Survey of Methods for Automated Code-Reuse Exploit Generation
Alexey Vishnyakov, Alexey Nurmukhametov
This paper provides a survey of methods and tools for automated code-reuse exploit generation. Such exploits use code that is already contained in a vulnerable program. The code-re…