-
Matthieu Lemerre
BINSEC aims at developing an open-source platform filling the gap between formal methods over executable code and binary-level security analyses currently used in the security industry.
The project targets the following applicative domains:
BINSEC is developed at CEA List in scientfic collaboration with Verimag and LORIA.
An overview of some BINSEC features can be found in our SSPREW'17 tutorial. Further examples are bundled in our Docker image (see details in how to get it here).
We are happy to be organizing the first French meeting on Code and Data Protection, Obfuscation and White-box Cryptography.
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.