Thanh Dinh Ta

According to our database, Thanh Dinh Ta authored at least 5 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

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

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015

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

Thanh Dinh Ta

PhD thesis, 2015

2014

A Categorical Treatment of Malicious Behavioral Obfuscation.

Romain Péchoux, Thanh Dinh Ta

Proceedings of the Theory and Applications of Models of Computation, 2014

Malware Message Classification by Dynamic Analysis.

Guillaume Bonfante, Jean-Yves Marion, Thanh Dinh Ta

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014