Linear Obfuscation to Combat Symbolic Execution.

Zhi Wang, Jiang Ming, Chunfu Jia, Debin Gao

Browse the full ESORICS paper archive.