Une suite de trois challenges réalisés pour l'édition 2024 du 404CTF. Les challenges 1 et 2, de rétro-ingénierie, avaient pour but de pousser les participant(e)s à découvrir et utiliser l'execution symbolique et concolique. Le fil rouge de cette série est l'utilisation de circuits logiques reversibles pour générer de manière procédurale des crackme ayant une solution unique. Le challenge 0 était un challenge annexe de programmation sur le sujet des circuits logiques réversibles.
Voir les README.md des sous-dossiers.
Il est possible de déployer localement les serveurs des challenges :
sudo docker compose upVoir docker-compose.yml pour les ports associés à chaque challenge.