Publications HAL de la collection DEFMAL

2026

Journal articles

titre
Trust Under Siege: Label Spoofing Attacks Against Machine Learning for Android Malware Detection
auteur
Tianwei Lan, Luca Demetrio, Farid Nait-Abdesselam, Yufei Han, Simone Aonzo
article
IEEE Transactions on Information Forensics and Security, 2026, pp.1-1. ⟨10.1109/TIFS.2026.3671128⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05543765/file/Trust_Under_Siege_Label_Spoofing_Attacks_Against_Machine_Learning_for_Android_Malware_Detection.pdf BibTex

Conference papers

titre
The Role of Domain-Specific Features in Malware Detection: A macOS Case Study
auteur
Biagio Montaruli, Andrea Oliveri, Savino Dambra, Davide Balzarotti
article
ASIACCS 2026, 21st ACM ASIA Conference on Computer and Communications Security, ACM, Jun 2026, Bangalore, India. ⟨10.1145/3779208.3785392⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05507286/file/publi-8523_1.pdf BibTex
titre
LEMON: A Universal eBPF-based Volatile Memory Acquisition Tool for Modern Android Devices and Hardened Linux Systems
auteur
Andrea Oliveri, Marco Cavenati, Stefano de Rosa, Lakshmi Narasimhan, Davide Balzarotti
article
DFRWS EU 2026, Digital Forensics Research Conference Europe, Mar 2026, Linköping, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-05507369/file/publi-8522.pdf BibTex
titre
CTL Model Checking of Concurrent Self Modifying Code
auteur
Tayssir Touili, Olzhas Zhangeldinov
article
The 41st ACM/SIGAPP Symposium On Applied Computing (SAC), Mar 2026, Thessalonique, Greece. ⟨10.1145/3748522.3779956⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05379857/file/final.pdf BibTex
titre
Decompiling the Synergy: An Empirical Study of Human-LLM Teaming in Software Reverse Engineering
auteur
Zion Leonahenahe Basque, Samuele Doria, Ananta Soneji, Wil Gibbs, Adam Doupé, Yan Shoshitaishvili, Eleonora Losiouk, Ruoyu Wang, Simone Aonzo
article
NDSS 2026, 33rd Network and Distributed System Security Symposium, Usenix, Feb 2026, San Diego (CA), United States. ⟨10.14722/ndss.2026.240380⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05509126/file/publi-8548.pdf BibTex

Preprints, Working Papers, ...

titre
Attacking the First-Principle: A Black-Box, Query-Free Targeted Mimicry Attack on Binary Function Classifiers
auteur
Gabriel Sauger, Jean-Yves Marion, Sazzadur Rahaman, Vincent Tourneur, Muaz Ali, Victor Matrat
article
2026
Accès au texte intégral et bibtex
https://hal.science/hal-04914773/file/kelpie_with_authors.pdf BibTex

2025

Journal articles

titre
Class loaders in the middle: confusing Android static analyzers
auteur
Jean-Marie Mineau, Jean-François Lalande
article
Digital Threats: Research and Practice, 2025, 6 (3), pp.1-19. ⟨10.1145/3754457⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-05186153/file/camera.pdf BibTex
titre
Les capacités offensives de l’intelligence artificielle dans le cyberespace
auteur
Léo Bertrand, Maíra de Freitas Pereira, Jean-Yves Marion
article
Études françaises de renseignement et de cyber, 2025, n° 4 (3), pp.217-233. ⟨10.3917/efrc.243.0218⟩
Accès au bibtex
BibTex
titre
A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference
auteur
Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar
article
Journal of Artificial Intelligence Research, 2025, 82, pp.901-936. ⟨10.1613/jair.1.16206⟩
Accès au bibtex
BibTex

Conference papers

titre
Towards Automated Botnet Threat Intelligence with Knowledge-Guided Large Language Models
auteur
Bassirou Badiane, Valérie Viet Triem Tong, Yufei Han
article
FPS 2025 - 18th International Symposium on Foundations & Practice of Security, Nov 2025, Brest, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05411121/file/TowardsAutomatedBotnetCTI.pdf BibTex
titre
Reachability Analysis of Upper-Stack Manipulating Binary Code ⋆
auteur
Shijie Lin, Tayssir Touili
article
23rd International Conference on Software Engineering and Formal Methods, Nov 2025, Tolède, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-05288783/file/Reachability_Analysis_of_Upper_Stack_Manipulating_Binary_Code__camera_.pdf BibTex
titre
Family Ties: A Close Look at the Influence of Static Features on the Precision of Malware Family Clustering
auteur
Antonino Vitale, Kevin van Liebergen, Juan Caballero, Savino Dambra, Platon Kotzias, Simone Aonzo, Davide Balzarotti
article
APWG eCrime 2025, Cybercrimes Only AI and Crimebots can Dream of, Nov 2025, San Diego, United States
Accès au texte intégral et bibtex
https://hal.science/hal-05405015/file/publi-8519.pdf BibTex
titre
CasinoLimit: An Offensive Dataset Labeled with MITRE ATT&CK Techniques
auteur
Sébastien Kilian, Valérie Viet Triem Tong, Jean-François Lalande, Frédéric Majorczyk, Alexandre Sanchez, Natan Talon, Pierre-Victor Besson, Hélène Orsini, Pierre Lledo, Pierre-François Gimenez
article
RAID 2025 - 28th International Symposium on Research in Attacks, Intrusions and Defenses, Oct 2025, Gold Coast, Australia
Accès au texte intégral et bibtex
https://hal.science/hal-05224264/file/CasinoLimit_080825.pdf BibTex
titre
The Polymorphism Maze: Understanding Diversities and Similarities in Malware Families
auteur
Antonino Vitale, Simone Aonzo, Savino Dambra, Nanda Rani, Lorenzo Ippolito, Platon Kotzias, Juan Caballero, Davide Balzarotti
article
ESORICS 2025, 30th European Symposium on Research in Computer Security, Springer, Sep 2025, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-05222691/file/esorics25_vitale.pdf BibTex
titre
LTL Model Checking of Concurrent Self Modifying Code ⋆
auteur
Tayssir Touili, Olzhas Zhangeldinov
article
29th International Conference on Engineering of Complex Computer Systems, Jul 2025, Hang Zhou, China
Accès au texte intégral et bibtex
https://hal.science/hal-05288796/file/ICECCS_2025___LTL_Model_Checking_of_Concurrent_Self_Modifying_Code.pdf BibTex
titre
A Closer Look At Modern Evasive Phishing Emails
auteur
Elyssa Boulila, Marc Dacier, Siva Prem Vengadessa Peroumal, Nicolas Veys, Simone Aonzo
article
DSN 2025, 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, IEEE/IFIP, Jun 2025, Naples, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-05065623/file/publi-8200.pdf BibTex
titre
GoaTracer: An Open Service for Advanced PE Tracing
auteur
Romain Guittienne, Quentin Jacqmin, Jean-Yves Marion, Pierre Marty, Fabrice Sabatier
article
Botconf 2025 - 12th Edition, May 2025, Angers, France
Accès au texte intégral et bibtex
https://hal.science/hal-05086241/file/GoaTracer.pdf BibTex
titre
Certifiably Robust Malware Detectors by Design
auteur
Pierre-François Gimenez, Sarath Sivaprasad, Mario Fritz
article
SEC 2025 - 40th IFIP TC-11 International Information Security and Privacy Conference, May 2025, Maribor, Slovenia. pp.125-139, ⟨10.1007/978-3-031-92886-4_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05079220/file/main.pdf BibTex
titre
A Study on the Evolution of Kernel Data Types Used in Memory Forensics and Their Dependency on Compilation Options
auteur
Andrea Oliveri, Nikola Nemes, Branislav Andjelic, Davide Balzarotti
article
DFRWS EU 2025, Digital Forensics Research Conference, Apr 2025, Brno, Czech Republic
Accès au texte intégral et bibtex
https://hal.science/hal-04991665/file/publi-7994.pdf BibTex
titre
Mnemocrypt: A Machine Learning Approach for Cryptographic Function Detection in x86 Executables
auteur
André Pacteau, Antonino Vitale, Davide Balzarotti, Simone Aonzo
article
BAR 2025, Workshop on Binary Analysis Research, Co-located with NDSS Symposium 2025, Usenix, Feb 2025, San Diego, United States. ⟨10.14722/bar.2025.23002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05127295/file/publi-8230.pdf BibTex
titre
Analyzing a Concurrent Self-Modifying Program: Application to Malware Detection
auteur
Walid Messahel, Tayssir Touili
article
The International Conference on Information Systems Security and Privacy (ICISSP), Feb 2025, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-05369282/file/main.pdf BibTex

2024

Conference papers

titre
Monitoring the execution of cryptographic functions
auteur
Matthieu Amet, Oussama Ben Moussa, Guillaume Bonfante, Sébastien Duval
article
FPS-2024 - 17th International Symposium on Foundations & Practice of Security, Dec 2024, Montréal (Québec), Canada. pp.377-392, ⟨10.1007/978-3-031-87499-4_25⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04902977/file/texte.pdf BibTex
titre
Trace Partitioning as an Optimization Problem
auteur
Charles Babu, Sébastien Bardin, Matthieu Lemerre, Jean-Yves Marion
article
Static Analysis Symposia, Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasedena, California, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04917504/file/149950026%20copy.pdf BibTex
titre
Unmasking the Veiled: A Comprehensive Analysis of Android Evasive Malware
auteur
Antonio Ruggia, Dario Nisi, Savino Dambra, Alessio Merlo, Davide Balzarotti, Simone Aonzo
article
ASIAACS 2024, 19th ACM ASIA Conference on Computer and Communications Security, ACM, Jul 2024, Singapore, Singapore
Accès au texte intégral et bibtex
https://hal.science/hal-04378941/file/publi-7512.pdf BibTex
titre
Evaluating the Reusability of Android Static Analysis Tools
auteur
Jean-Marie Mineau, Jean-François Lalande
article
ICSR 2024 - 21st International Conference on Software and Systems Reuse, Jun 2024, Limassol, Cyprus. pp.153-170, ⟨10.1007/978-3-031-66459-5_10⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-04557993/file/main.pdf BibTex
titre
Reachability Analysis of Concurrent Self-modifying Code
auteur
Walid Messahel, Tayssir Touili
article
28th International Conference on Engineering of Complex Computer Systems, Jun 2024, Limassol (Chypre), Cyprus. pp.257-271, ⟨10.1007/978-3-031-66456-4_14⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04766984/file/main.pdf BibTex

2023

Journal articles

titre
Reachability Analysis of Self Modifying Code
auteur
Tayssir Touili, Xin Ye
article
International Journal of Foundations of Computer Science, 2023, 34 (05), pp.507-536. ⟨10.1142/S0129054122500290⟩
Accès au bibtex
https://arxiv.org/pdf/1909.12626 BibTex

Conference papers

titre
Scalable program clone search through spectral analysis
auteur
Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
article
ESEC/FSE '23 - 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Dec 2023, San Francisco, United States. ⟨10.48550/arXiv.2210.13063⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03826726/file/ESEC_FSE_CR_PREPRINT.pdf BibTex
titre
Decoding the Secrets of Machine Learning in Windows Malware Classification: A Deep Dive into Datasets, Features, and Model Performance
auteur
Savino Dambra, Yufei Han, Simone Aonzo, Platon Kotzias, Antonino Vitale, Juan Caballero, Davide Balzarotti, Leyla Bilge
article
CCS 2023 - 30th ACM Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.60-74, ⟨10.1145/3576915.3616589⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04321280/file/3576915.3616589CCS.pdf BibTex
titre
Active disjunctive constraint acquisition
auteur
Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar
article
KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.512-520, ⟨10.24963/kr.2023/50⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04258912/file/2023-kr.pdf BibTex
titre
Humans vs. Machines in Malware Classification
auteur
Simone Aonzo, Yufei Han, Alessandro Mantovani, Davide Balzarotti
article
USENIX Security 2023 - 32nd Usenix Security Symposium, Aug 2023, Anaheim (CA), United States
Accès au texte intégral et bibtex
https://hal.science/hal-04321950/file/sec23summer_241-aonzo-prepub.pdf BibTex
titre
Android, Notify Me When It Is Time To Go Phishing
auteur
Antonio Ruggia, Andrea Possemato, Alessio Merlo, Dario Nisi, Simone Aonzo
article
EUROS&P 2023, 8th IEEE European Symposium on Security and Privacy, IEEE, Jul 2023, Delft, Netherlands
Accès au texte intégral et bibtex
https://hal.science/hal-04017843/file/eurosp23_inotify.pdf BibTex
titre
Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems
auteur
Florent Moriconi, Axel Ilmari Neergaard, Lucas Georget, Samuel Aubertin, Aurélien Francillon
article
17th IEEE Workshop on Offensive Technologies (WOOT 2023), IEEE, May 2023, San Francisco (CA, USA), United States. ⟨10.1109/SPW59333.2023.00025⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04087018/file/Reflections%20on%20Trusting%20Docker%20-%20Invisible%20Malware%20in%20Continuous%20Integration%20Systems.pdf BibTex

Other publications

titre
Rançongiciel, une plongée dans le monde de la cybercriminalité
auteur
Jean-Yves Marion
article
Rançongiciel, une plongée dans le monde de la cybercriminalité, 2023
Accès au texte intégral et bibtex
https://hal.science/hal-04547822/file/Ran%C3%A7ongiciel%2C%20une%20plong%C3%A9e%20dans%20le%20monde%20de%20la%20cybercriminalit%C3%A9.pdf BibTex
titre
Se protéger d'une pandémie numérique
auteur
Valérie Viet Triem Tong, Jean-Louis Lanet
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04547827/file/Se%20prot%C3%A9ger%20d%27une%20pand%C3%A9mie%20num%C3%A9rique%20larecherche.fr.pdf BibTex

Preprints, Working Papers, ...

titre
Decoding the Secrets of Machine Learning in Malware Classification: A Deep Dive into Datasets, Feature Extraction, and Model Performance
auteur
Savino Dambra, Yufei Han, Simone Aonzo, Platon Kotzias, Antonino Vitale, Juan Caballero, Davide Balzarotti, Leyla Bilge
article
2023
Accès au bibtex
https://arxiv.org/pdf/2307.14657 BibTex