Sébastien Bardin
15 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Adversarial Reachability for Program-level Security Analysis
Soline Ducousso and others (2023) · Springer Nature Switzerland
A quantitative flavour of robust reachability
Sébastien Bardin and others (2022) · arXiv preprint arXiv:2212.05244
Hunting the Haunter — Efficient Relational Symbolic Execution for Spectre with Haunted RelSE
Lesly-Ann Daniel and others (2021) · Network and Distributed System Security Symposium
Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference
Guillaume Girol and others (2021) · Springer International Publishing
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Frédéric Recoules and others (2021) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · Institute of Electrical and Electronics Engineers
Get Rid of Inline Assembly through Verification-Oriented Lifting
Frédéric Recoules and others (2019) · IEEE
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Benjamin Farinier and others (2018) · EasyChair
Time to clean your test objectives
Michaël Marcozzi and others (2018) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · Institute of Electrical and Electronics Engineers
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
Sébastien Bardin and others (2017) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Robin David and others (2016) · IEEE
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free
Josselin Feist and others (2016)
BINSEC: Binary Code Analysis with Low-Level Regions
Adel Djoudi and others (2015) · Springer Berlin Heidelberg
An All-in-One Toolkit for Automated White-Box Testing
Sébastien Bardin and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
Sébastien Bardin and others (2014) · IEEE International Conference on Software Testing, Verification and Validation (ICST)
The BINCOA Framework for Binary Code Analysis
Sébastien Bardin and others (2011) · Springer Berlin Heidelberg