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