BinPro: A tool for binary backdoor accountability in code audits
Towards reducing the attack surface of software backdoors