Symbolic Deobfuscation: From Virtualized Code Back to the Original. - Jonathan Salwan; Sébastien Bardin; Marie-Laure Potet (DIMVA, 2018)

L'usage de l'exécution symbolique pour la déobfuscation binaire en milieu industriel. (Use of symbolic execution for binary deobfuscation in an industrial environment). - Jonathan Salwan (2020)