Formal methods for binary code analysis

About


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

News


April 04, 2019
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
December 13, 2018

We are happy to be organizing the first French meeting on Code and Data Protection, Obfuscation and White-box Cryptography.

October 01, 2018

We are happy to announce the release of version 0.2 of the BINSEC platform.

July 24, 2018

We are happy to announce the release of version 0.2beta of the BINSEC platform.

July 19, 2018

BINSEC has a new website!

May 23, 2017

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

May 23, 2017

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.

March 01, 2017

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

November 04, 2016

BINSEC will be at Formal Methods 2016 where Adel Djoudi will present the paper Recovering high-level conditions from binary programs.

People


Researchers

PhD Students


Former PhD Students

Intern


Former Intern

  • Guillaume Girol