Software Security Researcher working on reverse-engineering, software analysis, symbolic execution, fuzzing. Also attacking obfuscation as a hobby.
-
Quarkslab
- Paris, France
- @RobinDavid1
Stars
4
stars
written in Rust
Clear filter
An incremental parsing system for programming tools
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.