Robin David

Orcid: 0009-0008-8214-875X

According to our database1, Robin David authored at least 11 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
PASTIS: A Framework for Distributed Ensemble Fuzzing.
Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

2023
PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques.
Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

2022
Building a Commit-level Dataset of Real-world Vulnerabilities.
Proceedings of the CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24, 2022

2018
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017
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).
PhD thesis, 2017

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes.
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016
Targeting Infeasibility Questions on Obfuscated Codes.
CoRR, 2016

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Specification of concretization and symbolization policies in symbolic execution.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free.
Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016

2015
Sound and Quasi-Complete Detection of Infeasible Test Requirements.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015


  Loading...