| Fast: Fast acceleration of symbolic transition systems S Bardin, A Finkel, J Leroux, L Petrucci Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 166 | 2003 |
| Flat acceleration in symbolic model checking S Bardin, A Finkel, J Leroux, P Schnoebelen Automated Technology for Verification and Analysis: Third International …, 2005 | 110 | 2005 |
| 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 | 101 | 2016 |
| 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 | 99 | 2008 |
| 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 | 96 | 2011 |
| Refinement-based CFG reconstruction from unstructured programs S Bardin, P Herrmann, F Védrine International Workshop on Verification, Model Checking, and Abstract …, 2011 | 89 | 2011 |
| Structural testing of executables S Bardin, P Herrmann 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 81 | 2008 |
| 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 | 77 | 2020 |
| 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 | 77 | 2017 |
| 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 | 72 | 2020 |
| 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 | 72 | 2018 |
| 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 | 71 | 2004 |
| Binsec: Binary code analysis with low-level regions A Djoudi, S Bardin International Conference on Tools and Algorithms for the Construction and …, 2015 | 64 | 2015 |
| FAST Extended Release: (Tool Paper) S Bardin, J Leroux, G Point Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 61 | 2006 |
| OSMOSE: automatic structural testing of executables S Bardin, P Herrmann Software Testing, Verification and Reliability 21 (1), 29-54, 2011 | 57 | 2011 |
| 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 | 55 | 2015 |
| 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 | 54 | 2021 |
| 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 | 47 | 2021 |
| 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 | 46 | 2014 |
| 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 | 43 | 2016 |
Jerome LerouxCNRS researcher, LaBRI, FranceDirección de correo verificada de labri.fr
