Computer Security

[S&P '17] Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping

🏅 CSAW 2017 Best Applied Security Paper Award TOP-10 Finalists

May 22, 2017
[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