Robin David

Statistics

Publications

Citations

241

H-Index

Active since

2015

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Université de Lorraine

Centre National de la Recherche Scientifique

Verimag

Robin David is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in formal methods, formal verification, and software analysis.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware TestingSoftware EngineeringVerificationSoftware Design

Publications per year

2015–2020

Publications

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

Robin David, Sébastien Bardin, Thanh Dinh Ta et al. · 2016 · 62 citations

Engineering, Verification, Software Engineering +20

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes

Sébastien Bardin, Robin David, Jean-Yves Marion · 2017 · 49 citations

Engineering, Information Security, Software Analysis +16

Sound and Quasi-Complete Detection of Infeasible Test Requirements

Sébastien Bardin, Mickaël Delahaye, Robin David et al. · 2015 · 41 citations · Full text

Software Maintenance, Engineering, Verification +26

QSynth - A Program Synthesis based approach for Binary Code Deobfuscation

Robin David, Luigi Coniglio, Mariano Ceccato · 2020 · 32 citations · Full text

Finding the needle in the heap

Josselin Feist, Laurent Mounier, Sébastien Bardin et al. · 2016 · 24 citations

Engineering, Software Engineering, Source Code Analysis +17

1–5 of 7