Concepedia

Thanh Dinh Ta

TD

Statistics

Publications

2

Citations

84

H-Index

2

Active since

2016

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Verimag

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Université de Lorraine

Thanh Dinh Ta is an author at Centre National de la Recherche Scientifique specializing in computer science, software analysis, and system software.

Top concepts

Publications per year

2016–2016

2

Publications

2

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis

Robin David, Sébastien Bardin, Thanh Dinh Ta et al. · 2016 · 62 citations

, , +20

Specification of concretization and symbolization policies in symbolic execution

Robin David, Sébastien Bardin, Josselin Feist et al. · 2016 · 22 citations

, , +19

1–2 of 2