6 open source projects by eurecom-s3

SymQEMU: Compilation-based symbolic execution for binaries

Radio Side-Channels in Mixed-Signal Chips

Volatility plugin to extract X screenshots from a memory dump

SymCC: efficient compiler-based symbolic execution

Tools for viewing and extracting HDD firmware files

The Use of Likely Invariants as Feedback for Fuzzers