We are happy to announce the release of version 0.2 of the BINSEC platform.
We are happy to announce the release of version 0.2beta of the BINSEC platform.
BINSEC has a new website!
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.