Personal information

France

Biography

Sébastien Bardin is a senior researcher at CEA LIST (Saclay, Paris area, France), where he has initiated and now leads the binary-level security analysis group. His research interests lay at the crossroad of formal methods, program analysis, automated reasoning and security. For a few years now, Sébastien has been interested in automating binary-level security analysis by lifting formal methods developed for the safety-critical industry, with applications to vulnerability analysis, reverse, deobfuscation and code protection. He particularly focuses on symbolic execution and he is the main designer of the (open-source) BINSEC platform for binary-level code analysis. Sébastien regularly publishes articles in top-ranked international academic conferences, and he occasionally gives talks at industrial venues such as Black Hat or the Meta TAV Symposium. He is an associate editor of ACM TOPS and he co-chairs the French national working group on Formal Methods & Security. Sébastien holds a PhD from Ecole Normale Supérieure de Cachan (2005), he is an ACM Senior Member and a CEA Fellow.

Activities

Employment (1)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives: Saclay, Ile de France, FR

2006 to present | Senior Researcher (CEA LIST)
Employment
Source: Self-asserted source
Sébastien Bardin

Education and qualifications (1)

École Normale Supérieure Paris-Saclay: Cachan, Île-de-France, FR

2002 to 2005 | PhD (Computer Science)
Education
Source: Self-asserted source
Sébastien Bardin

Works (50 of 56)

Items per page:
Page 1 of 2

Trace Partitioning as an Optimization Problem

2025 | Book chapter
Contributors: M. Charles Babu; Matthieu Lemerre; Sébastien Bardin; Jean-Yves Marion
Source: check_circle
Crossref

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

Journal of Artificial Intelligence Research
2025-02-16 | Journal article
Contributors: Grégoire Menguy; Sébastien Bardin; Arnaud Gotlieb; Nadjib Lazaar
Source: check_circle
Crossref

Fine-grained Coverage-based Fuzzing

ACM Transactions on Software Engineering and Methodology
2024 | Journal article
Contributors: Wu, Wei-Cheng; Nongpoh, Bernard; Nour, Marwan; Marcozzi, Michael; Bardin, Sebastien; Hauser, Christophe
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

Fine-grained Coverage-based Fuzzing: RCR Report

ACM Transactions on Software Engineering and Methodology
2024 | Journal article
Contributors: Wu, Wei-Cheng; Nongpoh, Bernard; Nour, Marwan; Marcozzi, Michael; Bardin, Sebastien; Hauser, Christophe
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

Inference of Robust Reachability Constraints

Proceedings of the ACM on Programming Languages
2024 | Journal article
Contributors: Sellami, Yanis; Girol, Guillaume; Recoules, Frederic; Courousse, Damien; Bardin, Sebastien
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

Quantitative Robustness for Vulnerability Assessment

Proceedings of the ACM on Programming Languages
2024-06-20 | Journal article
Contributors: Guillaume Girol; Guilhem Lacombe; Sébastien Bardin
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries

Proceedings of the Acm Sigsac Conference on Computer and Communications Security, Ccs
2023 | Journal article
Contributors: Geimer, Antoine; Vergnolle, Matheo; Recoules, Frederic; Daniel, Lesly-Ann; Bardin, Sebastien; Maurice, Clementine
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

Adversarial Reachability for Program-level Security Analysis?

Lecture Notes in Computer Science
2023 | Journal article
Contributors: Ducousso, Soline; Bardin, Sebastien; Potet, Marie-Laure
Source: check_circle
Web of Science Researcher Profile Sync

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

ACM Transactions on Privacy and Security
2023 | Journal article
Contributors: Daniel, Lesly-Ann; Bardin, Sebastien; Rezk, Tamara
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

Evaluating Defensive Countermeasures for Software-Based Hardware Abstraction

2023 | Book chapter
Contributors: J. Todd McDonald; Ramya K. Manikyam; Sébastien Bardin; Richard Bonichon; Todd R. Andel; James Carambat
Source: check_circle
Crossref

PROSPECT: Provably Secure Speculation for the Constant-Time Policy

Proceedings of the USENIX Security Symposium
2023 | Journal article
Contributors: Daniel, Lesly-Ann; Bognar, Marton; Noorman, Job; Bardin, Sebastien; Rezk, Tamara; Piessens, Frank
Source: check_circle
Web of Science Researcher Profile Sync

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)

ArXiv
2023 | Journal article
Contributors: Daniel, Lesly-Ann; Bognar, Marton; Noorman, Job; Bardin, Sebastien; Rezk, Tamara; Piessens, Frank
Source: check_circle
Web of Science Researcher Profile Sync

Scalable Program Clone Search through Spectral Analysis

Proceedings of the Acm Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Esec/fse
2023 | Journal article
Contributors: Benoit, Tristan; Marion, Jean-Yves; Bardin, Sebastien
Source: check_circle
Web of Science Researcher Profile Sync
grade
Preferred source (of 2)‎

Scalable Program Clone Search Through Spectral Analysis

ArXiv
2023 | Journal article
Contributors: Benoit, Tristan; Marion, Jean-Yves; Bardin, Sebastien
Source: check_circle
Web of Science Researcher Profile Sync

A Tight Integration of Symbolic Execution and Fuzzing (Short Paper)

Lecture Notes in Computer Science
2022 | Journal article
Contributors: Vincont, Yaelle; Bardin, Sebastien; Marcozzi, Michael
Source: check_circle
Web of Science Researcher Profile Sync

Introducing robust reachability

Formal Methods in System Design
2022 | Journal article
Contributors: Girol, Guillaume; Farinier, Benjamin; Bardin, Sebastien
Source: check_circle
Web of Science Researcher Profile Sync

AI-based Blackbox Code Deobfuscation: Understand, Improve and Mitigate

ArXiv
2021 | Journal article
Contributors: Menguy, Gregoire; Bardin, Sebastien; Bonichon, Richard; Lima, Cauim de Souza
Source: check_circle
Web of Science Researcher Profile Sync

An Automated Deductive Verification Framework for Circuit-building Quantum Programs

Lecture Notes in Computer Science
2021 | Journal article
Contributors: Chareton, Christophe; Bardin, Sebastien; Bobot, Francois; Perrelle, Valentin; Valiron, Benoit
Source: check_circle
Web of Science Researcher Profile Sync

Binary level toolchain provenance identification with graph neural networks

IEEE International Conference on Software Analysis, Evolution, and Reengineering
2021 | Conference paper
Contributors: Benoit, Tristan; Marion, Jean-Yves; Bardin, Sebastien
Source: check_circle
Web of Science Researcher Profile Sync

Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE

Annual Network and Distributed System Security Symposium (ndss)
2021 | Journal article
Contributors: Daniel, Lesly-Ann; Bardin, Sebastien; Rezk, Tamara
Source: check_circle
Web of Science Researcher Profile Sync

Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine

International Conference on Software Engineering
2021 | Conference paper
Contributors: Recoules, Frederic; Bardin, Sebastien; Bonichon, Richard; Lemerre, Matthieu; Mounier, Laurent; Potet, Marie-Laure
Source: check_circle
Web of Science Researcher Profile Sync

No Crash, No Exploit: Automated Verification of Embedded Kernels

PROCEEDINGS OF THE 23RD IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS)
2021 | Journal article
Contributors: Nicole, Olivier; Lemerre, Matthieu; Bardin, Sebastien; Rival, Xavier
Source: check_circle
Web of Science Researcher Profile Sync

No Crash, No Exploit: Automated Verification of Embedded Kernels

ArXiv
2021 | Journal article
Contributors: Nicole, Olivier; Lemerre, Matthieu; Bardin, Sebastien; Rival, Xavier
Source: check_circle
Web of Science Researcher Profile Sync

Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference

Lecture Notes in Computer Science
2021 | Journal article
Contributors: Girol, Guillaume; Farinier, Benjamin; Bardin, Sebastien
Source: check_circle
Web of Science Researcher Profile Sync

Program Protection through Software-based Hardware Abstraction

Proceedings of the International Conference on Security and Cryptography (SECRYPT)
2021 | Journal article
Contributors: McDonald, J. Todd; Manikyam, Ramya K.; Bardin, Sebastien; Bonichon, Richard; Andel, Todd R.
Source: check_circle
Web of Science Researcher Profile Sync

RUSTINA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) Accepted submission #992-"Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine"

PROCEEDINGS OF THE IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C)
2021 | Journal article
Contributors: Recoules, Frederic; Bardin, Sebastien; Bonichon, Richard; Lemerre, Matthieu; Mounier, Laurent; Potet, Marie-Laure
Source: check_circle
Web of Science Researcher Profile Sync

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate

ACM SIGSAC Conference on Computer and Communications Security (CCS)
2021 | Conference paper
Contributors: Menguy, Gregoire; Bardin, Sebastien; Bonichon, Richard; Lima, Cauim de Souza
Source: check_circle
Web of Science Researcher Profile Sync

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate (Poster)

ACM SIGSAC Conference on Computer and Communications Security (CCS)
2021 | Conference paper
Contributors: Menguy, Gregoire; Bardin, Sebastien; Bonichon, Richard; Lima, Cauim de Souza
Source: check_circle
Web of Science Researcher Profile Sync

Specify and measure, cover and reveal: A unified framework for automated test generation

Science of Computer Programming
2021 | Journal article
Contributors: Bardin, Sebastien; Kosmatov, Nikolai; Marcozzi, Michael; Delahaye, Mickael
Source: check_circle
Web of Science Researcher Profile Sync

BINSEC/REL: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

IEEE Symposium on Security and Privacy (SP)
2020 | Conference paper
Contributors: Daniel, Lesly-Ann; Bardin, Sebastien; Rezk, Tamara
Source: check_circle
Web of Science Researcher Profile Sync

Get rid of inline assembly through verification-oriented lifting

IEEE/ACM International Conference on Automated Software Engineering
2019 | Conference paper
Contributors: Recoules, Frederic; Bardin, Sebastien; Bonichon, Richard; Mounier, Laurent; Potet, Marie-Laure
Source: check_circle
Web of Science Researcher Profile Sync

How to Kill Symbolic Deobfuscation for Free (or: Unleashing the Potential of Path-Oriented Protections)

ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSA)
2019 | Journal article
Contributors: Ollivier, Mathilde; Bardin, Sebastien; Bonichon, Richard; Marion, Jean-Yves
Source: check_circle
Web of Science Researcher Profile Sync

Obfuscation: Where Are We in Anti-DSE Protections? (a first attempt)

PROCEEDINGS OF THE SOFTWARE SECURITY, PROTECTION, AND REVERSE ENGINEERING WORKSHOP (SSPREW-9)
2019 | Journal article
Contributors: Ollivier, Mathilde; Bardin, Sebastien; Bonichon, Richard; Marion, Jean-Yves
Source: check_circle
Web of Science Researcher Profile Sync

Model Generation for Quantified Formulas: A Taint-Based Approach

Lecture Notes in Computer Science
2018 | Journal article
Contributors: Farinier, Benjamin; Bardin, Sebastien; Bonichon, Richard; Potet, Marie-Laure
Source: check_circle
Web of Science Researcher Profile Sync

Specify and Measure, Cover and Unmask: A Proof-Friendly View of Test Coverage Criteria (Abstract of Invited Tutorial)

Lecture Notes in Computer Science
2018 | Journal article
Contributors: Bardin, Sebastien; Kosmatov, Nikolai
Source: check_circle
Web of Science Researcher Profile Sync

Symbolic Deobfuscation: From Virtualized Code Back to the Original

Lecture Notes in Computer Science
2018 | Journal article
Contributors: Salwan, Jonathan; Bardin, Sebastien; Potet, Marie-Laure
Source: check_circle
Web of Science Researcher Profile Sync

Time to Clean Your Test Objectives

International Conference on Software Engineering
2018 | Conference paper
Contributors: Marcozzi, Michael; Bardin, Sebastien; Kosmatov, Nikolai; Papadakis, Mike; Prevosto, Virgile; Correnson, Loic
Source: check_circle
Web of Science Researcher Profile Sync

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes

IEEE Symposium on Security and Privacy (SP)
2017 | Conference paper
Contributors: Bardin, Sebastien; David, Robin; Marion, Jean-Yves
Source: check_circle
Web of Science Researcher Profile Sync

Efficient and Complete FD-Solving for Extended Array Constraints

International Joint Conference on Artificial Intelligence
2017 | Conference paper
Contributors: Plazar, Quentin; Acher, Mathieu; Bardin, Sebastien; Gotlieb, Arnaud
Source: check_circle
Web of Science Researcher Profile Sync

Generic and Effective Specification of Structural Test Objectives

9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST)
2017 | Journal article
Contributors: Marcozzi, Michael; Delahaye, Mickael; Bardin, Sebastien; Kosmatov, Nikolai; Prevosto, Virgile
Source: check_circle
Web of Science Researcher Profile Sync

Sharpening Constraint Programming Approaches for Bit-Vector Theory

Lecture Notes in Computer Science
2017 | Journal article
Contributors: Chihani, Zakaria; Marre, Bruno; Bobot, Francois; Bardin, Sebastien
Source: check_circle
Web of Science Researcher Profile Sync

Taming Coverage Criteria Heterogeneity with LTest

9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST)
2017 | Journal article
Contributors: Marcozzi, Michael; Bardin, Sebastien; Delahaye, Mickael; Kosmatov, Nikolai; Prevosto, Virgile
Source: check_circle
Web of Science Researcher Profile Sync

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis

IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), VOL 1
2016 | Journal article
Contributors: David, Robin; Bardin, Sebastien; Ta, Thanh Dinh; Feist, Josselin; Mounier, Laurent; Potet, Marie-Laure; Marion, Jean-Yves
Source: check_circle
Web of Science Researcher Profile Sync

Recovering High-Level Conditions from Binary Programs

Lecture Notes in Computer Science
2016 | Journal article
Contributors: Djoudi, Adel; Bardin, Sebastien; Goubault, Eric
Source: check_circle
Web of Science Researcher Profile Sync

Sound and Quasi-Complete Detection of Infeasible Test Requirements

IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW)
2015 | Journal article
Contributors: Bardin, Sebastien; Delahaye, Mickael; David, Robin; Kosmatov, Nikolai; Papadakis, Mike; Le Traon, Yves; Marion, Jean-Yves
Source: check_circle
Web of Science Researcher Profile Sync

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria

IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST)
2014 | Conference paper
Contributors: Bardin, Sebastien; Kosmatov, Nikolai; Cheynier, Francois
Source: check_circle
Web of Science Researcher Profile Sync

Binary-Level Testing of Embedded Programs

NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC)
2013 | Conference paper
Contributors: Bardin, Sebastien; Baufreton, Philippe; Cornuet, Nicolas; Herrmann, Philippe; Labbe, Sebastien
Source: check_circle
Web of Science Researcher Profile Sync

OSMOSE: automatic structural testing of executables

Software Testing, Verification & Reliability
2011 | Journal article
Contributors: Bardin, Sebastien; Herrmann, Philippe
Source: check_circle
Web of Science Researcher Profile Sync

Refinement-Based CFG Reconstruction from Unstructured Programs

Lecture Notes in Computer Science
2011 | Journal article
Contributors: Bardin, Sebastien; Herrmann, Philippe; Vedrine, Franck
Source: check_circle
Web of Science Researcher Profile Sync

An Alternative to SAT-Based Approaches for Bit-Vectors

Lecture Notes in Computer Science
2010 | Journal article
Contributors: Bardin, Sebastien; Herrmann, Philippe; Perroud, Florian
Source: check_circle
Web of Science Researcher Profile Sync
Items per page:
Page 1 of 2

Peer review (39 reviews for 20 publications/grants)

Review activity for ACM transactions on computational logic. (1)
Review activity for ACM transactions on software engineering and methodology. (1)
Review activity for Applied soft computing. (1)
Review activity for Computers & security. (1)
Review activity for Constraints. (5)
Review activity for IEEE transactions on computers. (1)
Review activity for IEEE transactions on dependable and secure computing. (4)
Review activity for IEEE transactions on software engineering. (6)
Review activity for Information and computation. (1)
Review activity for Information and software technology. (2)
Review activity for International journal of information security. (1)
Review activity for Journal of computer science and technology. (1)
Review activity for Journal of heuristics. (1)
Review activity for Journal of systems and software. (2)
Review activity for Science of computer programming. (1)
Review activity for Software testing, verification & reliability. (3)
Review activity for Software, practice & experience. (4)
Review activity for The computer journal. (1)
Review activity for The Journal of systems and software. (1)
Review activity for Theoretical computer science. (1)