14 citations · 14 across the 1 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
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…
cs.CR2020★ 14 cited
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…