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

Publication
In Proceedings of the 22nd ACM Conference on Computer and Communications Security, Denver, Colorado, October 12-16, 2015. (Acceptance rate 19.3%=128/660)