Backward-bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes

IEEE Symposium on Security and Privacy·13 min

• IEEE SP
• Malware
• Date: 2025
• Location: Ieee Sp

Iyoung Sang Kang

Security researchers examine technical aspects of QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries.

IEEE Symposium on Security and Privacy·24 min

• IEEE SP
• Malware
• Date: 2025
• Location: Ieee Sp

Engineers explore architecture and security mechanisms for Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping.

Black Hat·48 min

• Black Hat
• Malware
• Date: 2025
• Location: Black Hat

Industry experts analyze emerging threats surrounding Breaking State-of-the-Art Binary Code Obfuscation via Program Synthesis.