
ctfs with @ARESxCTF, @ProjectSEKAIctf, @malta_ctf. sec @v12sec @zellic_io
Joined May 2022
- Tweets100
- Following616
- Followers193
- Likes3.3K
Pinned Tweet
a bit late, but I finished 11th this year in flareon :p #flareon12
hexamine retweeted
I think it is important for people to acknowledge that posting complete slop like this is doing more harm than good for AI narrative. Yes, AI is very useful, but this is embarrassing for @HexRaysSA
xitter.cf/in19h/status/211075966…
unavailable
took me some time to finish this post:
"Breaking SSA Phi destruction in SYSyVM", could this be a #0day?! ඞ
mirkhoff.com/post/breaking-s…
theo's right - there are two types of people in this world:
those who want to tinker with their harness all day, and those who actually get shit done
Replying to @greg_horvay @davis7
Ben agrees with me that OMP is slop.
Liking pi almost inherently requires that you hate OMP
hexamine retweeted
Replying to @theo @CollinWilkins7
theo는 상당히 정치를 잘하는 사람이다 OMP를 먼저 공격하고 OMP측이 반격하자 자신이 공격을 당하는 피해자로 규정을 하였다 상당한 정치술이다 비유를 하자면 히틀러와 비슷하다 theo는 히틀러와 마찬가지로 상당히 정치적인 술수가 뛰어난 사람이다 존경스럽다
hexamine retweeted
I got the latest iOS and macOS 27 booting in Qemu (with SPTM!)
- Virtual iPhone 17, 16, 15, 14, 13, 12 and every M1-M5 Mac supported
- Debug, patch, or modify everything: kernel, SPTM, TXM, launchd, dyld, user programs all modifiable/ GDB-able
- Boots directly to root shell in seconds
- Run your own programs as root in iOS/ macOS, no jailbreak / kernel patches required
- SPTM, TXM, MTE/MIE, genter/ gexit, GXF/SPRR/GL0-2, AMCC, AIC v1-3, Apple timer, many sysregs
- Automated setup; get running in just a few minutes
- Runs anywhere qemu runs... no ARM CPU required 😉
Try it here: github.com/jprx/darwin-vm
Signal's Contact Discovery automatically sends your contact list information to an SGX enclave in the cloud.
V12 broke into that enclave and leaked the key, allowing the server host to decrypt everything.
Two separate critical bugs: arbitrary read and RCE.
Here's how. 🧵
hexamine retweeted
Something to share: we built a benchmark for evaluating agentic reverse engineering.
- instead of grading intermediate outputs, e.g., recovered types/names
- we evaluate agents e2e on deterministic goals, e.g., JTAG a firmware to enable its debug mode.
vals.ai/benchmarks/reverse_e…
well this was a waste of tokens.
presented without commentary:
Replying to @PrimeIntellect
Prime Agent is a general-purpose coding harness
On ARC-AGI-3, it scores 95.5%, surpassing the human-expert baseline, but the gain is not benchmark-specific.
We see major improvements across models when compared to their proprietary harnesses:
hexamine retweeted
Static Devirtualization of Tencent VM. There are many others with similar results to ours, we have had the VM devirtualized for several months now. Others are posting full devirt bins, so we feel it is ok to release our research now.
back.engineering/blog/31/07/…
hexamine retweeted
We're launching a $100,000 fund to save CTFs.
1/
we found a bug in the Aptos Move VM that put up to $70B at systemic risk. type confusion at the execution layer. a ~90% success rate across hundreds of simulated runs on a 30+ validator cluster. cost to build the attack infrastructure: $3,000.
Conducted by @kemmio , to our knowledge this is the first public research that showcases how to land a sophisticated multi-block attack in real-world environments. It includes mempool feng shui, block production specifics and about a dozen of other primitives and tricks chained to get to near-perfect exploitation results.
Nonetheless, Aptos called it "extremely low exploitability."
[hexens.io/research/aptos-hij…]






























