Publications HAL de la collection DEFMAL

2025

Journal articles

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

Preprints, Working Papers, ...

titre
Attacking the First-Principle: A Black-Box, Query-Free Targeted Evasion Attack on ML-Based Binary Function Code Classifiers.
auteur
Gabriel Sauger, Jean-Yves Marion, Sazzadur Rahaman, Vincent Tourneur, Muaz Ali
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04914773/file/Kelpie_CSS_submission__Copy___to_Arxiv_%20%282%29.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
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
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

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