The RBPF JIT compiler plays a critical role on the Solana blockchain. But the mode only works on x86 hosts. Our intern Andrew Haberlandt added support for ARM64 during his internship blog.trailofbits.com/2022/10/12/sol…

Excited to release SBVA (structured bounded variable addition) - a technique for reducing SAT formulas with new auxiliary variables in a structured way. This is joint work with Andrew Haberlandt (Andrew Haberlandt) and Marijn Heule at CMU: github.com/hgarrereyn/SBVA

Our solver (w/ Andrew Haberlandt) SBVA-CaDiCaL won first place in the main track of the SAT competition (by a decent margin)! It also placed 1st overall for satisfiable instances and 2nd overall for unsatisfiable instances!

I wrote two (unsolved) pwn/misc challenges for BuckeyeCTF. It ends in ~14 hours! 1) flag-sharing (pwn/misc): leak flag from another player connecting to same challenge (i.e. separate nsjail) 2) chat-app (pwn): Rust chat app complete with a TUI and a really cool bug

The Google CTF Finals 2023 are coming! Watch the best CTF teams compete in our custom video game tomorrow, Sunday, 1pm JST. #Hackceler8 #GoogleCTF #Gaming

Dynamic binary instrumentation, simplified. Andrew Haberlandt (Andrew Haberlandt) introduces Pyda: a Python-based framework for writing tools on top of DynamoRIO. Replace debugger scripts & explore advanced hooks for ARM64/X86. re-verse.sessionize.com/session/776653 #REverse2025 #Instrumentation

pyda - Write dynamic binary analysis tools in Python github.com/ndrewh/pyda