Publications HAL de la collection SECUREVAL

2025

Conference papers

titre
Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis (Extended Version)
auteur
Mamy Razafintsialonina, David Bühler, Antoine Miné, Valentin Perrelle, Julien Signoles
article
39th European Conference on Object-Oriented Programming (ECOOP 2025), Jun 2025, Bergen, Norway
Accès au texte intégral et bibtex
https://hal.science/hal-05110966/file/ecoop_2025_rbmps.pdf BibTex
titre
Towards Better CFG Layouts
auteur
Jack Royer, Frédéric Tronel, Yaëlle Vinçont
article
BAR 2025 - Workshop on Binary Analysis Research, Christophe Hauser; Jun Xu, Feb 2025, San Diego (CA), United States. pp.1-17, ⟨10.14722/bar.2025.23011⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04996939/file/Towards_better_CFG_layouts.pdf BibTex

Preprints, Working Papers, ...

titre
An XVisor extension using a Domain Specific Language to detect Rootkits in Virtual Machines
auteur
Lionel Hemmerlé, Guillaume – Hiet, Frédéric Tronel, Pierre Wilke, Jean-Christophe Prévotet
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04879065/file/HAL.pdf BibTex

2024

Journal articles

titre
Polymorphic Type Inference for Dynamic Languages
auteur
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
article
Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.40. ⟨10.1145/3632882⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04284072/file/main.pdf BibTex

Conference papers

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
A semantics of structures, unions, and underspecified terms for formal specification
auteur
Louis Gauthier, Virgile Prevosto, Julien Signoles
article
FormaliSE 2024 - International Conference on Formal Methods in Software Engineering, Apr 2024, Lisbonne, Portugal. ⟨10.1145/3644033.3644380⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04480238/file/articleFormaliSE.pdf BibTex
titre
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
auteur
Marco Milanese, Antoine Miné
article
25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, Jan 2024, London, United Kingdom. pp.50-73, ⟨10.1007/978-3-031-50524-9_3⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-04317611/file/samplepaper.pdf BibTex
titre
Inference of Robust Reachability Constraints
auteur
Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin
article
2024 ACM Symposium on Principles of Programming Languages, Jan 2024, London, United Kingdom. pp.2731-2760, ⟨10.1145/3632933⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04477919/file/3632933.pdf BibTex

Preprints, Working Papers, ...

titre
Under-approximating Memory Abstractions
auteur
Marco Milanese, Antoine Miné
article
2024
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-04670146/file/samplepaper.pdf BibTex

2023

Journal articles

titre
Binsec/Rel: Symbolic binary analyzer for security with applications to constant-Time and secret-erasure
auteur
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
article
ACM Transactions on Privacy and Security, 2023, 26 (2), pp.11:1-42. ⟨10.1145/3563037⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04228169/file/2022-tops.pdf BibTex

Conference papers

titre
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
auteur
Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
article
CCS 2023 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.1690-1704, ⟨10.1145/3576915.3623112⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04474774/file/ccs23_geimer.pdf BibTex
titre
The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker
auteur
Sylvain Conchon, Alexandrina Korneva
article
SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.30-46, ⟨10.1007/978-3-031-47115-5_3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04394062/file/main.pdf BibTex
titre
Adversarial reachability for program-level security analysis
auteur
Sébastien Bardin, Soline Ducousso, Marie-Laure Potet
article
ESOP 2023 - 32nd European Symposium on Programming,, ETAPS, Apr 2023, Paris, France. pp.58-89, ⟨10.1007/978-3-031-30044-8_3⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04199882/file/2023-esop.pdf BibTex