research
∙
11/21/2022
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
Nowadays automated dynamic analysis frameworks for continuous testing ar...
share
research
∙
11/10/2021
Symbolic Security Predicates: Hunt Program Weaknesses
Dynamic symbolic execution (DSE) is a powerful method for path explorati...
research
∙
09/08/2021
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
Dynamic symbolic execution is a widely used technique for automated soft...
research
∙
11/18/2020