Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping

Keyphrases

• Obfuscation 100%
• Cryptographic Functions 100%
• Malware 33%
• Binary Codes 33%
• Data Obfuscation 33%
• Novel Technique 16%
• Detection Method 16%
• Network Applications 16%
• Symbolic Execution 16%
• Synthetic Instances 16%
• Challenging Work 16%
• Firewall 16%
• Boolean Formulas 16%
• Reference Implementation 16%
• Malware Attacks 16%
• Malicious Behavior 16%
• Trace-based 16%
• Cryptographic Algorithms 16%

Computer Science

• Detection Function 100%
• Malware Developer 33%
• Victim Computer 33%