reverseProhard

flag_checker

kalmarctf

Task: iCE40 HX8K FPGA bitstream that accepts a UART flag at 9600 baud and lights an LED on success. Solution: unpack the bitstream, fix the broken SB_RAM40_4K simulation model, then recover the flag with counter-guided, threaded iverilog brute force.

$ ls tags/ techniques/
uartverilogbitstreamice40fpgablock_ram
bitstream_unpackingverilog_resimulationprimitive_model_fixsimulation_guided_bruteforcethreaded_worker_bruteforce
🔒

Permission denied (requires tier.pro)

Sign in to access full writeups

Sign in with GitHub to continue. No email required.

$sign in

$ grep --similar

Similar writeups