Talking about our research on fuzzing and future research areas.

An AFL style feedback fuzzer, that uses grammars to find more bugs. Written in Rust and published at NDSS 2019

A binary fuzzer that automatically solves magic Bytes and checksums during fuzzing. Published at NDSS 2019.

A one day workshop on using SMT-Solvers and bounded model checker for reverse engineering and binary analysis.