Case study
DownUnderCTF: masked-squares flag checker
An official educational challenge investigation connects binary checks to equations and records an original-program validation.
- Targets
- Binary
- Category
- Official REA: case studies
- Relationship
- Official REA case study
- Sources reviewed
Requirements & limits
- Prerequisites: Upstream case: public DownUnderCTF 2023 challenge, REA 4.1.0 and Ghidra 12.1.4 on Linux x64.
- Testing evidence: Target hash and source revision are documented; author-reported execution.
About this entry
The description was reviewed against primary sources.
Primary sources
- website/evidence/ctf-masked-squares.md GitHub · morluto/rea · Revision 808339f
More in Native binaries
- Show Your Work: a measured dissection of REA's evidence architecture · Case study
- Windows loader: static malware analysis with REA and Codex · Case study
- OpenBSD netcat: static REA and Ghidra investigation · Case study
- m0rph: tracing an obfuscated ELF flag checker · Case study
- CPQ IO Scheduler: reconstructing Xiaomi's block scheduler · Case study
- Malware Analysis: njRAT and Casdet behavior investigation · Case study
All 269 entries in Native binariesNative binaries case studies (7)