Follow
Sébastien Bardin
Sébastien Bardin
CEA LIST
Verified email at cea.fr
Title
Cited by
Cited by
Year
Fast: Fast acceleration of symbolic transition systems
S Bardin, A Finkel, J Leroux, L Petrucci
International Conference on Computer Aided Verification, 118-121, 2003
1532003
Flat acceleration in symbolic model checking
S Bardin, A Finkel, J Leroux, P Schnoebelen
International symposium on automated technology for verification and …, 2005
1062005
FAST: acceleration from theory to practice
S Bardin, A Finkel, J Leroux, L Petrucci
International Journal on Software Tools for Technology Transfer 10 (5), 401-424, 2008
872008
The BINCOA framework for binary code analysis
S Bardin, P Herrmann, J Leroux, O Ly, R Tabary, A Vincent
International Conference on Computer Aided Verification, 165-170, 2011
822011
Refinement-based CFG reconstruction from unstructured programs
S Bardin, P Herrmann, F Védrine
International Workshop on Verification, Model Checking, and Abstract …, 2011
812011
Structural testing of executables
S Bardin, P Herrmann
2008 1st International Conference on Software Testing, Verification, and …, 2008
792008
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
742016
FASTer acceleration of counter automata in practice
S Bardin, A Finkel, J Leroux
International Conference on Tools and Algorithms for the Construction and …, 2004
702004
FAST extended release
S Bardin, J Leroux, G Point
International Conference on Computer Aided Verification, 63-66, 2006
592006
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
582017
OSMOSE: automatic structural testing of executables
S Bardin, P Herrmann
Software Testing, Verification and Reliability 21 (1), 29-54, 2011
582011
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
522018
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
512015
Binsec: Binary code analysis with low-level regions
A Djoudi, S Bardin
International Conference on Tools and Algorithms for the Construction and …, 2015
462015
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
402014
From pointer systems to counter systems using shape analysis
S Bardin, A Finkel, E Lozes, A Sangnier
AVIS’06, 2006
352006
Pruning the search space in path-based test generation
S Bardin, P Herrmann
2009 International Conference on Software Testing Verification and …, 2009
342009
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
332020
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
332016
Specification of concretization and symbolization policies in symbolic execution
R David, S Bardin, J Feist, L Mounier, ML Potet, TD Ta, JY Marion
Proceedings of the 25th International Symposium on Software Testing and …, 2016
322016
The system can't perform the operation now. Try again later.
Articles 1–20