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 | 101 | 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 | | |