Linear Obfuscation to Combat Symbolic Execution

• Main Authors: WANG, Zhi, Ming, Jiang, Jia, Chunfu, GAO, Debin
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2011
• Subjects: Software obfuscation; symbolic execution; malware analysis; Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/2005; https://ink.library.smu.edu.sg/context/sis_research/article/3004/viewcontent/esorics11.pdf
• Institution: Singapore Management University

Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful techniques in discovering such malicious code and analyzing the trigger condition. We propose a novel automatic malware obfuscation...