talks. Slides, recordings and materials of my public presentations, talks and workshops.
94r2syntia. Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.
22tfg. A copy of my Mathematics and Computer Engineering B.Sc. thesis
19r2docu.
4eh2024-workshop.
2symccpp. SymCC++: efficient compiler-based symbolic execution, with AFL++ support
2minimal-mistakes. :triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
1old-blog. Back-up of blog posts from my old site
1tfm. A copy of my M.Sc. thesis
1 views 9 projects
Apply