c.mov

TLDR: I constructed an unsolvable puzzle benchmark to see how prompt language causes models to “cheat”.

Introduction Last week, LymphoSAT, the solver I submitted to the SAT Competition 2026, won the SAT track!

Introduction I recently flew to Rio de Janeiro, Brazil to present my fuzzing work FrameShift at ICSE 2026.

TL;DR: how a biology experiment from the 1960s inspired a modern-day fuzzing improvement (and a new default feature in AFL++ 4.40). 📄 Paper (ICSE 2026) AFL++ 4.40c Release LibAFL Implementation Inside our cells, we have intricate machinery (in the form of…

Introduction Ironically, one of the hardest questions you can ask a security practitioner is “What is a bug?”

LLMs have unquestionably unlocked amazing capabilities in a broad range of fields, including my own area of research (which broadly spans program analysis, fuzzing, and decompilation).

Its 2025.

print('hello world')

1.