Archives


March 01, 2017 : Release of version 0.1

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

Many thanks to our 3 contributing Ph.D. students:

  • Robin David,
  • Adel Djoudi &
  • Josselin Feist

who have now moved on to other endeavors.

You can download the tarball here.

November 04, 2016 : FM 2016

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

The abstract is here.

October 20, 2016 : Blackhat Europe 2016

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

The talk is titled Code Deobfuscation: Intertwining Dynamic, Static and Symbolic Approaches.

More details here.

August 31, 2016 : Release of Beta 2

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

This is a bugfix release with respect to the first beta.

You can download it from here.

July 15, 2016 : ISSTA 2016

BINSEC will be present at ISSTA 2016 with a paper by Robin David & al.

The paper is titled Specification of Concretization and Symbolization Policies in Symbolic Execution. The abstract is available.

July 04, 2016 : Release of Beta 1

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

You can download it from here.

July 01, 2016 : RMLL 2016

BINSEC will be present at RMLL 2016: The Security Track with a talk by Sébastien Bardin.

The talk is titled BINSEC: Binary-level Semantic Analysis to the Rescue.

More details here. The video is available here.

July 01, 2016 : Cyber In Bretagne

BINSEC will be present at the Cyber In Bretagne Summer School 2016 with a talk by Sébastien Bardin.

The talk is titled Binary-level program analysis and its applications to security.

More details here.