Robin David
4 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.
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Benjamin Farinier and others (2018) · EasyChair
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)