S&P 2017

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.

The paper is available here.