SymSem: Symbolic Execution with Time Stamps for Deobfuscation. - Li, Huayi; Zhang, Yuanyuan; Wang, Jianqiang; Gu, Dawu (2019)