Thanh Dinh Ta
Thanh Dinh Ta
Postdoc, Laboratoire Verimag
Email verificata su imag.fr - Home page
Titolo
Citata da
Citata da
Anno
BINSEC/SE: A dynamic symbolic execution toolkit for binary-level analysis
R David, S Bardin, TD Ta, L Mounier, J Feist, ML Potet, JY Marion
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
442016
Specification of concretization and symbolization policies in symbolic execution
R David, S Bardin, J Feist, L Mounier, ML Potet, TD Ta, JY Marion
Proceedings of the 25th International Symposium on Software Testing and …, 2016
222016
A categorical treatment of malicious behavioral obfuscation
R Péchoux, TD Ta
International Conference on Theory and Applications of Models of Computation …, 2014
112014
Malware message classification by dynamic analysis
G Bonfante, JY Marion, TD Ta
International Symposium on Foundations and Practice of Security, 112-128, 2014
72014
PathExplorer. url: https://github. com/tathanhdinh
G Bonfante, JY Marion, TD Ta
PathExplorer (cit. on pp. 100, 102, 119), 0
5
Malware Message Analysis through Binary Traces
G Bonfante, JY Marion, TT Dinh
Poster at GRSD, 2014
32014
Efficient Program Exploration by Input Fuzzing
G Bonfante, JY Marion, TT Dinh
extraction 5 (11), 12, 2013
32013
Malicious Codes Detection in Distributed Environment
TT Dinh
2015
Malicious Codes Detection in Distributed Environments
TD Ta
2015
Modele de protection contre les codes malveillants dans un environnement distribué
TD Ta
Université de Lorraine, 2015
2015
Malware Message Classification by Dynamic Analysis Technical Report
G Bonfante, JY Marion, TD Ta
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–11