Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting.

Jaehyung Lee, Woosuk Lee

Browse the full CCS paper archive.