Jean-Yves Marion
2 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.
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