Thanh Dinh Ta

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Numerical Values

Static Analysis

Symbolic Execution

Malicious Behavior

Top Venues

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. SANER (2016)
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
Specification of concretization and symbolization policies in symbolic execution. ISSTA (2016)
Guillaume Bonfante, Jean-Yves Marion, Thanh Dinh Ta
Malware Message Classification by Dynamic Analysis. FPS (2014)
Romain Péchoux, Thanh Dinh Ta
A Categorical Treatment of Malicious Behavioral Obfuscation. TAMC (2014)