Sébastien Bardin
Commissariat à l'Énergie Atomique et aux Énergies Alternatives(FR)Université Paris-Saclay(FR)Laboratoire d'Intégration des Systèmes et des Technologies(FR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Security and Verification in Computing, Software Engineering Research, Formal Methods in Verification
Most-Cited Works
- → FAST: Fast Acceleration of Symbolic Transition Systems(2003)110 cited
- → Flat Acceleration in Symbolic Model Checking(2005)85 cited
- → FAST: acceleration from theory to practice(2008)78 cited
- → The BINCOA Framework for Binary Code Analysis(2011)63 cited
- → BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis(2016)62 cited
- → Symbolic Deobfuscation: From Virtualized Code Back to the Original(2018)56 cited
- → Structural Testing of Executables(2008)