#sat-solver CTF challenges

4 CTF challenges using sat-solver from 4 CTFs (2022–2026), 4 with writeups. Mostly Crypto (25%) and Hardware (25%).

Crypto · 1 Hardware · 1 Misc · 1 Reverse · 1

Often combined with

#cipher-state-recovery 1 #logic-circuit 1 #netlist-transcription 1 #minesweeper 1 #akari-puzzle 1 #constraint-propagation 1 #aes 1

Challenges

Filter and sort these in the challenge browser →