Hacker & Mathematician.
Security engineer @ $company.
Research & Education @FuraLabs.
Community @HackingLliure.
-
talks Public
Slides, recordings and materials of my public presentations, talks and workshops.
-
-
anisette-v3-server Public
Forked from Dadoum/anisette-v3-serversidestore's anisette-v3 compatible server
D UpdatedApr 18, 2024 -
symccpp Public
Forked from eurecom-s3/symccSymCC++: efficient compiler-based symbolic execution, with AFL++ support
-
-
-
-
r2syntia Public
Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.
-
-
minimal-mistakes Public
Forked from mmistakes/minimal-mistakes📐 Jekyll theme for building a personal site, blog, project documentation, or portfolio.
-
-
Crai-API Public
Unofficial API - CRAI UB
Python GNU General Public License v3.0 UpdatedSep 14, 2016