arnaugamez
Hacker & Mathematician. Security engineer @ $company. Research & Education @FuraLabs. Community @HackingLliure.
Pinned Repositories
anisette-v3-server
sidestore's anisette-v3 compatible server
eh2024-workshop
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
r2docu
r2syntia
Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.
symccpp
SymCC++: efficient compiler-based symbolic execution, with AFL++ support
talks
Slides, recordings and materials of my public presentations, talks and workshops.
tfg
A copy of my Mathematics and Computer Engineering B.Sc. thesis
tfm
A copy of my M.Sc. thesis
arnaugamez's Repositories
arnaugamez/talks
Slides, recordings and materials of my public presentations, talks and workshops.
arnaugamez/r2syntia
Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.
arnaugamez/tfg
A copy of my Mathematics and Computer Engineering B.Sc. thesis
arnaugamez/r2docu
arnaugamez/eh2024-workshop
arnaugamez/symccpp
SymCC++: efficient compiler-based symbolic execution, with AFL++ support
arnaugamez/minimal-mistakes
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
arnaugamez/old-blog
Back-up of blog posts from my old site
arnaugamez/tfm
A copy of my M.Sc. thesis
arnaugamez/anisette-v3-server
sidestore's anisette-v3 compatible server
arnaugamez/Crai-API
Unofficial API - CRAI UB
arnaugamez/slock