Follow
Sébastien Bardin
Sébastien Bardin
CEA, List, Université Paris-Saclay
Verified email at cea.fr - Homepage
Title
Cited by
Cited by
Year
Fast: Fast acceleration of symbolic transition systems
S Bardin, A Finkel, J Leroux, L Petrucci
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
1662003
Flat acceleration in symbolic model checking
S Bardin, A Finkel, J Leroux, P Schnoebelen
Automated Technology for Verification and Analysis: Third International …, 2005
1102005
BINSEC/SE: A dynamic symbolic execution toolkit for binary-level analysis
R David, S Bardin, TD Ta, L Mounier, J Feist, ML Potet, JY Marion
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
992016
FAST: acceleration from theory to practice
S Bardin, A Finkel, J Leroux, L Petrucci
International Journal on Software Tools for Technology Transfer 10, 401-424, 2008
992008
The BINCOA framework for binary code analysis
S Bardin, P Herrmann, J Leroux, O Ly, R Tabary, A Vincent
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
942011
Refinement-based CFG reconstruction from unstructured programs
S Bardin, P Herrmann, F Védrine
International Workshop on Verification, Model Checking, and Abstract …, 2011
882011
Structural testing of executables
S Bardin, P Herrmann
2008 1st International Conference on Software Testing, Verification, and …, 2008
812008
Backward-bounded DSE: targeting infeasibility questions on obfuscated codes
S Bardin, R David, JY Marion
2017 IEEE Symposium on Security and Privacy (SP), 633-651, 2017
772017
Binsec/rel: Efficient relational symbolic execution for constant-time at binary-level
LA Daniel, S Bardin, T Rezk
2020 IEEE Symposium on Security and Privacy (SP), 1021-1038, 2020
762020
Binary-level directed fuzzing for {use-after-free} vulnerabilities
MD Nguyen, S Bardin, R Bonichon, R Groz, M Lemerre
23rd International Symposium on Research in Attacks, Intrusions and Defenses …, 2020
712020
Symbolic deobfuscation: From virtualized code back to the original
J Salwan, S Bardin, ML Potet
International Conference on Detection of Intrusions and Malware, and …, 2018
712018
FASTer acceleration of counter automata in practice
S Bardin, A Finkel, J Leroux
Tools and Algorithms for the Construction and Analysis of Systems: 10th …, 2004
712004
Binsec: Binary code analysis with low-level regions
A Djoudi, S Bardin
International Conference on Tools and Algorithms for the Construction and …, 2015
622015
FAST Extended Release: (Tool Paper)
S Bardin, J Leroux, G Point
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
612006
OSMOSE: automatic structural testing of executables
S Bardin, P Herrmann
Software Testing, Verification and Reliability 21 (1), 29-54, 2011
572011
Sound and quasi-complete detection of infeasible test requirements
S Bardin, M Delahaye, R David, N Kosmatov, M Papadakis, Y Le Traon, ...
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
552015
An automated deductive verification framework for circuit-building quantum programs
C Chareton, S Bardin, F Bobot, V Perrelle, B Valiron
Programming Languages and Systems: 30th European Symposium on Programming …, 2021
522021
Hunting the haunter-efficient relational symbolic execution for spectre with haunted relse
LA Daniel, S Bardin, T Rezk
NDSS 2021-Network and Distributed Systems Security, 2021
462021
Efficient leveraging of symbolic execution to advanced coverage criteria
S Bardin, N Kosmatov, F Cheynier
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
462014
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free
J Feist, L Mounier, S Bardin, R David, ML Potet
Proceedings of the 6th Workshop on Software Security, Protection, and …, 2016
422016
The system can't perform the operation now. Try again later.
Articles 1–20