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