Formal methods for binary code analysis

News


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.

October 20, 2016

BINSEC will be present at Blackhat Europe 2016 with a talk by Robin David & Sébastien Bardin.

August 31, 2016

We are proud to announce the second beta release of our tool platform.

People


Researchers

PhD Students


Former PhD Students

Interns


Former Intern

  • Guillaume Girol