Hello, I’m Intranautic. ( ̄▽ ̄)ノ

My interests include programming, compiler theory, theoretical computer science, program analysis, vulnerability research and playing CTFs ∈ {pwn, rev} with Shellphish.

Feel free to look around, this site is primarily a place to store and archive challenge writeups, explanations, notes on topics I’m currently researching, or just rants.

If you want to reach out to me, you can do so via one of the contacts below or directly via discord @intranautic.


Ahoy SAILR! There is No Need to DREAM of C: A Compiler-Aware Structuring Algorithm for Binary Decompilation

Zion Leonahenahe Basque, Ati Priya Bajaj, Wil Gibbs, Jude O’Kain, Derron Miao, Tiffany Bao, Adam Doupé, Yan Shoshitaishvili, Ruoyu Wang

Proceedings of the USENIX Security Symposium, Philadelphia, USA August 2024.

github pdf