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
-
- 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
-
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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
Preprints, Working Papers, ...
- titre
- Under-approximating Memory Abstractions
- auteur
- Marco Milanese, Antoine Miné
- article
- 2024
- Accès au texte intégral et 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
-
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
-
- 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
-
- 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
-