Robin David

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes

Jean-Yves Marion, Sébastien Bardin, Robin David, 2017, 2017 IEEE Symposium on Security and Privacy (SP).

A review on structural health monitoring of railroad track structures using fiber optic sensors

Robin David, Deepika Sasi, Shimol Philip, 2020 .

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis

Jean-Yves Marion, Marie-Laure Potet, Laurent Mounier, 2016, 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER).

Targeting Infeasibility Questions on Obfuscated Codes pdf

Jean-Yves Marion, Sébastien Bardin, Robin David, 2016, ArXiv.

Specification of concretization and symbolization policies in symbolic execution

Jean-Yves Marion, Marie-Laure Potet, Laurent Mounier, 2016, ISSTA.

QSynth - A Program Synthesis based approach for Binary Code Deobfuscation

Mariano Ceccato, Robin David, Luigi Coniglio, 2020, Proceedings 2020 Workshop on Binary Analysis Research.

Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes. (Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés)

Robin David, 2017 .

Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free

Marie-Laure Potet, Laurent Mounier, Josselin Feist, 2016, SSPREW '16.

Sound and Quasi-Complete Detection of Infeasible Test Requirements

Yves Le Traon, Nikolai Kosmatov, Jean-Yves Marion, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing

Matthieu Lemerre, Benjamin Farinier, Sébastien Bardin, 2018, LPAR.