| 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 | 100 | 2016 |
| 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 | 38 | 2016 |
| A categorical treatment of malicious behavioral obfuscation R Péchoux, TD Ta Theory and Applications of Models of Computation: 11th Annual Conference …, 2014 | 13 | 2014 |
| Malware message classification by dynamic analysis G Bonfante, JY Marion, TD Ta Foundations and Practice of Security: 7th International Symposium, FPS 2014 …, 2015 | 6 | 2015 |
| PathExplorer. url: https://github. com/tathanhdinh G Bonfante, JY Marion, TD Ta PathExplorer (cit. on pp. 100, 102, 119), 0 | 4 | |
| Malware Message Analysis through Binary Traces G Bonfante, JY Marion, TT Dinh Poster at GRSD, 2014 | 2 | 2014 |
| Efficient Program Exploration by Input Fuzzing G Bonfante, JY Marion, TT Dinh extraction 5 (11), 12, 2013 | 2 | 2013 |
| Malicious Codes Detection in Distributed Environment TT Dinh Université de Lorraine, 2015 | | 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 | | |
Sébastien BardinCEA, List, Université Paris-SaclayVerified email at cea.fr
