Arnau

talks. Slides, recordings and materials of my public presentations, talks and workshops.

r2syntia. Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.

tfg. A copy of my Mathematics and Computer Engineering B.Sc. thesis

r2docu.

eh2024-workshop.

symccpp. SymCC++: efficient compiler-based symbolic execution, with AFL++ support

minimal-mistakes. :triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.

old-blog. Back-up of blog posts from my old site

tfm. A copy of my M.Sc. thesis