FM 2016

November 04, 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.