
2023
- Aonzo, S., Han, Y., Mantovani, A., & Balzarotti, D. (2023). Humans vs. machines in malware classification. Proc. of USENIX-23.
- Menguy, Grégoire, Sébastien Bardin, Arnaud Gotlieb, and Nadjib Lazaar. « Active Disjunctive Constraint Acquisition.« Accepté KR 2023)
- Benoit, T., Marion, J. Y., & Bardin, S. . Scalable program clone search through spectral analysis, Accepté à ESEC/FSE 2023.
2022
- Simone Aonzo, Yufei Han, Alessandro Mantovani, Davide Balzarotti. Humans vs. Machines in Malware Classification. 2022. 〈hal 03839818〉
- Ludovic Robin, Corentin Jannier, Jean-Yves Marion. Incremental clustering of malware packers using features based on transformed CFG. 2022. 〈hal-03940881v2〉
- Tomás Concepción Miranda, Pierre-Francois Gimenez, Jean-François Lalande, Valérie
Viet Triem Tong, Pierre Wilke. Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?. IEEE Transactions on Information Forensics and Security, 2022, 17, pp.2182-2197. 〈10.1109/tifs.2022.3180184〉. 〈hal-03700082〉 - Tayssir Touili and Xin Ye : Reachability Analysis of Self Modifying Code. International Journal of Foundations of Computer Science. 2023. https://doi.org/10.1142/S0129054122500290
- Tayssir Touili, Xin Ye : LTL model-checking for Self-modifying code. Formal Methods in System Design. 2023. https://doi.org/10.1007/s10703-022-00394-8
- Khanh-Huu-The Dam, Tayssir Touili: Extracting malicious behaviours. Int. J. Inf. Comput. Secur. 17(3/4): 365-404