BINSEC has a paper by Josselin Feist & al. accepted at SSPREW called Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free.
BINSEC will be at Formal Methods 2016 where Adel Djoudi will present the paper Recovering high-level conditions from binary programs.
BINSEC will be present at Blackhat Europe 2016 with a talk by Robin David & Sébastien Bardin.
We are proud to announce the second beta release of our tool platform.
We are proud to announce the first release of our tool platform.
BINSEC will be present at RMLL 2016: The Security Track with a talk by Sébastien Bardin.