Sébastien Bardin

Statistics

Publications

Citations

685

H-Index

Active since

2006

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Université Paris-Saclay

Centre National de la Recherche Scientifique

Université de Lorraine

Sébastien Bardin is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computer science, computing, and software engineering.

ORCID

Publications per year

2006–2023

Publications

FAST: acceleration from theory to practice

Sébastien Bardin, Alain Finkel, Jérôme Leroux et al. · International Journal on Software Tools for Technology Transfer · 2008 · 79 citations · Full text

Engineering, Computer Science, Applied Mechanics +2

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

Robin David, Sébastien Bardin, Thanh Dinh Ta et al. · 2016 · 65 citations

Computing, Computer Science, Formal Methods +15

Structural Testing of Executables

Sébastien Bardin, Philippe Herrmann · 2008 · 55 citations

Computing, Computer Engineering, Computer Science +16

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes

Sébastien Bardin, Robin David, Jean-Yves Marion · 2017 · 50 citations

Computing, Computer Science, Cybersecurity +15

Refinement-based CFG reconstruction from unstructured programs

Sébastien Bardin, Philippe Herrmann, Franck Védrine · Verification, Model Checking and Abstract Interpretation · 2011 · 48 citations

Computing, Computer Science, Compilers +9

1–5 of 23