News


November 10, 2016 : SSPREW 2016

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.

November 04, 2016 : FM 2016

BINSEC will be at Formal Methods 2016 where Adel Djoudi will present the paper Recovering high-level conditions from binary programs.

October 20, 2016 : Blackhat Europe 2016

BINSEC will be present at Blackhat Europe 2016 with a talk by Robin David & Sébastien Bardin.

August 31, 2016 : Release of Beta 2

We are proud to announce the second beta release of our tool platform.

July 15, 2016 : ISSTA 2016

BINSEC will be present at ISSTA 2016 with a paper by Robin David & al.

July 04, 2016 : Release of Beta 1

We are proud to announce the first release of our tool platform.

July 01, 2016 : RMLL 2016

BINSEC will be present at RMLL 2016: The Security Track with a talk by Sébastien Bardin.

July 01, 2016 : Cyber In Bretagne

BINSEC will be present at the Cyber In Bretagne Summer School 2016 with a talk by Sébastien Bardin.