Malware Message Classification by Dynamic Analysis. - Guillaume Bonfante; Jean-Yves Marion; Thanh Dinh Ta (FPS, 2014)

A Categorical Treatment of Malicious Behavioral Obfuscation. - Romain Péchoux; Thanh Dinh Ta (TAMC, 2014)

Malicious Codes Detection in Distributed Environments. (Modèle de protection contre les codes malveillants dans un environnement distribué). - Thanh Dinh Ta (2015)

Specification of concretization and symbolization policies in symbolic execution. - Robin David; Sébastien Bardin; Josselin Feist; Laurent Mounier; Marie-Laure Potet; Thanh Dinh Ta; Jean-Yves Marion (ISSTA, 2016)

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. - Robin David; Sébastien Bardin; Thanh Dinh Ta; Laurent Mounier; Josselin Feist; Marie-Laure Potet; Jean-Yves Marion (SANER, 2016)