Sébastien Bardin

100 papers A* 19A 17B 10C 1Journal 38Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference. J. Artif. Intell. Res. Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar
2025	A*	`conf`	Attacker Control and Bug Prioritization. USENIX Security Symposium Guilhem Lacombe, Sébastien Bardin
2025	J	`jnl`	Attacker Control and Bug Prioritization. CoRR Guilhem Lacombe, Sébastien Bardin
2025	A*	`conf`	Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Black-box Deobfuscation. CCS Vidal Attias, Nicolas Bellec, Grégoire Menguy, Sébastien Bardin, Jean-Yves Marion
2025	A*	`conf`	CheckMATE '25: Research on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks. CCS Sébastien Bardin, Michele Ianni, Hyungon Moon
2025	—	`conf`	Exploring the Potential of LLMs for Code Deobfuscation. DIMVA (1) David Beste, Grégoire Menguy, Hossein Hajipour, Mario Fritz, Antonio Emanuele Cinà, Sébastien Bardin, Thorsten Holz, Thorsten Eisenhofer, Lea Schönherr
2025	—	`ed.`	Proceedings of the 2025 Workshop on Research on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks, Taipei, Taiwan, October 13-17, 2025 Checkmate@CCS Sébastien Bardin, Michele Ianni, Hyungon Moon
2025	J	`jnl`	Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits. CoRR Jérome Ricciardi, Sébastien Bardin, Christophe Chareton, Benoît Valiron
2025	J	`jnl`	Systematic Timing Leakage Analysis of NIST PQDSS Candidates: Tooling and Lessons Learned. CoRR Olivier Adjonyo, Sébastien Bardin, Emanuele Bellini, Gilbert Ndollane Dione, Mahmudul Faisal Al Ameen, Robert Merget, Frédéric Recoules, Yanis Sellami
2024	J	`jnl`	Fine-grained Coverage-based Fuzzing - RCR Report. ACM Trans. Softw. Eng. Methodol. Wei-Cheng Wu, Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin, Christophe Hauser
2024	J	`jnl`	Fine-grained Coverage-based Fuzzing. ACM Trans. Softw. Eng. Methodol. Wei-Cheng Wu, Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin, Christophe Hauser
2024	J	`jnl`	Inference of Robust Reachability Constraints. Proc. ACM Program. Lang. Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin
2024	J	`jnl`	Introducing robust reachability. Formal Methods Syst. Des. Guillaume Girol, Benjamin Farinier, Sébastien Bardin
2024	J	`jnl`	Quantitative Robustness for Vulnerability Assessment. Proc. ACM Program. Lang. Guillaume Girol, Guilhem Lacombe, Sébastien Bardin
2024	B	`conf`	Trace Partitioning as an Optimization Problem. SAS M. Charles Babu, Matthieu Lemerre, Sébastien Bardin, Jean-Yves Marion
2023	A*	`conf`	A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries. CCS Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
2023	J	`jnl`	A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries. CoRR Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
2023	A*	`conf`	Active Disjunctive Constraint Acquisition. KR Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
2023	A	`conf`	Adversarial Reachability for Program-level Security Analysis. ESOP Soline Ducousso, Sébastien Bardin, Marie-Laure Potet
2023	J	`jnl`	Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure. ACM Trans. Priv. Secur. Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2023	—	`ch.`	Formal Methods for Quantum Algorithms. Handb. Formal Anal. Verification Cryptogr. Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu
2023	J	`jnl`	ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). CoRR Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
2023	A*	`conf`	ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. USENIX Security Symposium Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
2023	—	`conf`	Scalable Program Clone Search through Spectral Analysis. ESEC/SIGSOFT FSE Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
2022	J	`jnl`	A Quantitative Flavour of Robust Reachability. CoRR Sébastien Bardin, Guillaume Girol
2022	A*	`conf`	Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
2022	J	`jnl`	Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure. CoRR Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2022	J	`jnl`	Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291). Dagstuhl Reports Sébastien Bardin, Somesh Jha, Vijay Ganesh
2022	J	`jnl`	Scalable Program Clone Search Through Spectral Analysis. CoRR Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
2021	—	`conf`	A Tight Integration of Symbolic Execution and Fuzzing (Short Paper). FPS Yaëlle Vinçont, Sébastien Bardin, Michaël Marcozzi
2021	J	`jnl`	AI-based Blackbox Code Deobfuscation: Understand, Improve and Mitigate. CoRR Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
2021	A	`conf`	An Automated Deductive Verification Framework for Circuit-building Quantum Programs. ESOP Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
2021	A	`conf`	Binary level toolchain provenance identification with graph neural networks. SANER Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
2021	—	`conf`	Evaluating Defensive Countermeasures for Software-Based Hardware Abstraction. ICETE (Selected Papers) Jeffrey Todd McDonald, Ramya K. Manikyam, Sébastien Bardin, Richard Bonichon, Todd R. Andel, James Carambat
2021	J	`jnl`	Formal Methods for Quantum Programs: A Survey. CoRR Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
2021	A*	`conf`	Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. NDSS Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2021	A*	`conf`	Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. ICSE Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
2021	J	`jnl`	Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. CoRR Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
2021	A	`conf`	No Crash, No Exploit: Automated Verification of Embedded Kernels. RTAS Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
2021	—	`conf`	Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference. CAV (1) Guillaume Girol, Benjamin Farinier, Sébastien Bardin
2021	C	`conf`	Program Protection through Software-based Hardware Abstraction. SECRYPT Jeffrey Todd McDonald, Ramya Manikyam, Sébastien Bardin, Richard Bonichon, Todd R. Andel
2021	—	`conf`	RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". ICSE (Companion Volume) Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
2021	A*	`conf`	Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate (Poster). CCS Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
2021	A*	`conf`	Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate. CCS Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
2021	J	`jnl`	Specify and measure, cover and reveal: A unified framework for automated test generation. Sci. Comput. Program. Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye
2020	J	`jnl`	Automatically Proving Microkernels Free from Privilege Escalation from their Executable. CoRR Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
2020	A	`conf`	Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. RAID Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
2020	J	`jnl`	Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. CoRR Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
2020	A*	`conf`	Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. SP Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2020	J	`jnl`	No Crash, No Exploit: Automated Verification of Embedded Kernels. CoRR Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
2020	J	`jnl`	Toward certified quantum programming. CoRR Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
2019	J	`jnl`	Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. CoRR Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
2019	J	`jnl`	Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). Dagstuhl Reports Sébastien Bardin, Nikolaj S. Bjørner, Cristian Cadar
2019	A*	`conf`	Get Rid of Inline Assembly through Verification-Oriented Lifting. ASE Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
2019	J	`jnl`	Get rid of inline assembly through trustable verification-oriented lifting. CoRR Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
2019	J	`jnl`	How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections. CoRR Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
2019	A	`conf`	How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections). ACSAC Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
2018	B	`conf`	Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. LPAR Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre
2018	B	`ed.`	Detection of Intrusions and Malware, and Vulnerability Assessment - 15th International Conference, DIMVA 2018, Saclay, France, June 28-29, 2018, Proceedings DIMVA Cristiano Giuffrida, Sébastien Bardin, Gregory Blanc
2018	—	`conf`	Model Generation for Quantified Formulas: A Taint-Based Approach. CAV (2) Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
2018	J	`jnl`	Model Generation for Quantified Formulas: A Taint-Based Approach. CoRR Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
2018	—	`ed.`	Proceedings of the 8th Software Security, Protection, and Reverse Engineering Workshop, San Juan, PR, USA, December 3-4, 2018 SSPREW@ACSAC Jeffrey Todd McDonald, Sébastien Bardin, Natalia Stakhanova
2018	B	`conf`	Symbolic Deobfuscation: From Virtualized Code Back to the Original. DIMVA Jonathan Salwan, Sébastien Bardin, Marie-Laure Potet
2018	—	`conf`	Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process. ISoLA (4) Sébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams
2018	A*	`conf`	Time to clean your test objectives. ICSE Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
2017	J	`jnl`	Abstract Interpretation using a Language of Symbolic Approximation. CoRR Matthieu Lemerre, Sébastien Bardin
2017	A*	`conf`	Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes. IEEE Symposium on Security and Privacy Sébastien Bardin, Robin David, Jean-Yves Marion
2017	J	`jnl`	CDCL-inspired Word-level Learning for Bit-vector Constraint Solving. CoRR Zakaria Chihani, François Bobot, Sébastien Bardin
2017	A*	`conf`	Efficient and Complete FD-solving for extended array constraints. IJCAI Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb
2017	J	`jnl`	Freeing Testers from Polluting Test Objectives. CoRR Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
2017	A	`conf`	Generic and Effective Specification of Structural Test Objectives. ICST Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto
2017	B	`conf`	Sharpening Constraint Programming Approaches for Bit-Vector Theory. CPAIOR Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin
2017	A	`conf`	Taming Coverage Criteria Heterogeneity with LTest. ICST Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto
2016	A	`conf`	BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. SANER Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion
2016	—	`conf`	Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. SSPREW@ACSAC Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet
2016	J	`jnl`	Generic and Effective Specification of Structural Test Objectives. CoRR Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prevosto
2016	B	`conf`	Recovering High-Level Conditions from Binary Programs. FM Adel Djoudi, Sébastien Bardin, Éric Goubault
2016	A	`conf`	Specification of concretization and symbolization policies in symbolic execution. ISSTA Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
2016	J	`jnl`	Targeting Infeasibility Questions on Obfuscated Codes. CoRR Robin David, Sébastien Bardin, Jean-Yves Marion
2015	A	`conf`	BINSEC: Binary Code Analysis with Low-Level Regions. TACAS Adel Djoudi, Sébastien Bardin
2015	A	`conf`	Sound and Quasi-Complete Detection of Infeasible Test Requirements. ICST Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion
2014	—	`conf`	An All-in-One Toolkit for Automated White-Box Testing. TAP@STAF Sébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov
2014	A	`conf`	Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria. ICST Sébastien Bardin, Nikolai Kosmatov, François Cheynier
2013	J	`jnl`	A Combined Approach for Constraints over Finite Domains and Arrays. CoRR Sébastien Bardin, Arnaud Gotlieb
2013	—	`conf`	Binary-Level Testing of Embedded Programs. QSIC Sébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé
2013	J	`jnl`	Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria. CoRR Sébastien Bardin, Nikolai Kosmatov, François Cheynier
2012	B	`conf`	fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays. CPAIOR Sébastien Bardin, Arnaud Gotlieb
2011	J	`jnl`	OSMOSE: automatic structural testing of executables. Softw. Test. Verification Reliab. Sébastien Bardin, Philippe Herrmann
2011	B	`conf`	Refinement-Based CFG Reconstruction from Unstructured Programs. VMCAI Sébastien Bardin, Philippe Herrmann, Franck Védrine
2011	A*	`conf`	The BINCOA Framework for Binary Code Analysis. CAV Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent
2010	A	`conf`	An Alternative to SAT-Based Approaches for Bit-Vectors. TACAS Sébastien Bardin, Philippe Herrmann, Florian Perroud
2009	A	`conf`	Pruning the Search Space in Path-Based Test Generation. ICST Sébastien Bardin, Philippe Herrmann
2008	J	`jnl`	FAST: acceleration from theory to practice. Int. J. Softw. Tools Technol. Transf. Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
2008	A	`conf`	Structural Testing of Executables. ICST Sébastien Bardin, Philippe Herrmann
2006	A*	`conf`	FAST Extended Release. CAV Sébastien Bardin, Jérôme Leroux, Gérald Point
2005	B	`conf`	Flat Acceleration in Symbolic Model Checking. ATVA Sébastien Bardin, Alain Finkel, Jérôme Leroux, Philippe Schnoebelen
2005	—	`—`	Vers un Model Checking avec accélération plate des systèmes hétérogènes. (Toward a Model Checking with Flat Acceleration of Heterogeneous Systems). Sébastien Bardin
2004	B	`conf`	Composition of Accelerations to Verify Infinite Heterogeneous Systems. ATVA Sébastien Bardin, Alain Finkel
2004	A	`conf`	FASTer Acceleration of Counter Automata in Practice. TACAS Sébastien Bardin, Alain Finkel, Jérôme Leroux
2003	A*	`conf`	FAST: Fast Acceleration of Symbolikc Transition Systems. CAV Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci