Posts tagged "Article"

Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust.

Cornelius Aschermann

Fuzzing, Reverse Engineering, Binary Analysis

Security Researcher

Germany