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
∙
09/08/2022
Strong Optimistic Solving for Dynamic Symbolic Execution
Dynamic symbolic execution (DSE) is an effective method for automated pr...
research
∙
11/10/2021
MAJORCA: Multi-Architecture JOP and ROP Chain Assembler
Nowadays, exploits often rely on a code-reuse approach. Short pieces of ...
research
∙
11/10/2021
Symbolic Security Predicates: Hunt Program Weaknesses
Dynamic symbolic execution (DSE) is a powerful method for path explorati...
research
∙
11/18/2020
Sydr: Cutting Edge Dynamic Symbolic Execution
The security development lifecycle (SDL) is becoming an industry standar...
research
∙
11/16/2020