Zhi Wang, Jiang Ming, Chunfu Jia, Debin Gao. Linear Obfuscation to Combat Symbolic Execution. In Vijay Atluri, Claudia Díaz, editors, Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings. Volume 6879 of Lecture Notes in Computer Science, pages 210-226, Springer, 2011. [doi]
Abstract is missing.