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.