-
Matthieu Lemerre
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 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.
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.