Computer Security

[CCS '15] LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code

Oct 15, 2015
[USENIX Sec '15] TaintPipe: Pipelined Symbolic Taint Analysis

Aug 12, 2015