BINSEC is at S & P ‘17 where Sébastien Bardin will present the paper Backward-bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes today.

We are happy to be organizing the Internal Summer School on Information Security and Software Protection (ISSISP). This year, the school is located near Paris, at Gif-sur-Yvette, France and will take place July 17-21. Check the website for more and to register.

We are happy to announce the first non-beta release of our tool platform.

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.

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

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.

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