Robin David
Senior Security Researcher.

Hi there! I am software security researcher and a computer science enthusiast at large. I initially made a Phd the CEA
(Atomic Energy Commission) on applying formal methods for security and especially symbolic execution
for deobfuscation
purposes. Since then, I expanded my topics of interests to fuzzing
, firmware security, graphs
, machine learning and program synthesis
.
You can find here the various conferences I gave, the papers I wrote and the various projects I worked on. More than active blog, it is more an archive notepad to quickly access various materials I wrote or published.
You can reach me at: dev.robin.david(at)gmail.com. Please use my PGP
key for confidential requests. Otherwise, free to reach me on X.com, LinkedIn or any other social media.