It's been about a week since we completed DARPA's AIxCC, where we came in 5th and had the most accurate autonomous patching system in the competition. In the coming days, I'll be describing how we achieved it on the patching side. Stay tuned.

Our CRS:

It's hard to believe that AIxCC is coming to a close. For us, it can be summarized in $3 million in funding, 2 years of work, and 290k LoC.

Our system, Artiphishell, is a first step towards AI-driven software understanding and action. Excited to hear the results at DEFCON!

Almost out of time to submit! We're looking for all cutting-edge research in the area of reversing and understanding software. Join us in changing the status quo of understanding programs.

Photo credz @richinseattle

I am very grateful to have been part of the panel at REcon. Like last year, I find myself leaving @reconmtl inspired and motivated to keep pushing forward in my research. Thanks again for all the awesome conversations, everyone. Hope to see you all next year.

As is workshop tradition, we will be extending the deadline for our CFP until July 7th (hard deadline). We're excited to see the work you all have cooking 🧑‍🍳🔥

🔎🛠️ Calling all reverse engineers & code explorers! Bring the research that cracks open the secrets of programs to #SURE25. CFP closes in 3 weeks—submit now and help shape the future of Software Understanding & Reverse Engineering.

sure-workshop.org/

What does it mean to be a hacker? This semester, I taught a hacker history and culture class, which was a blast. In one assignment, my students paid tribute to the classic @phrack Pro-Phile -- a small bio on a famous hacker. Check out their pieces: cse194.mahaloz.re/pr...

If you follow me for my decompiler work, you'll know that I'm always trying to push the field forward. I see SURE as a perfect place for many diverse research topics, especially decompilation research. Please come and share your fantastic work.

I'm proud to announce that myself and @AtipriyaBajaj have created the Workshop on Software Understanding and Reverse Engineering (SURE), which will be co-located at CCS 2025. sure-workshop.org/

Please follow our workshop account @sureworkshop and RT it for visibility :).

New updates to the Decompilation Wiki by harpend (on GitHub). We have a new in-depth Switch structuring section and a new Loop Reduction section.

decompilation.wiki/f...

If you are looking for my slides from my Reverse talk, you can find it and useful artifacts here: github.com/mahaloz/t...

Heard a lot of people wondering how good RE//Verse
would be, and I can say...

It's been awesome.

Similar in vibe to Infiltrate and OffensiveCon, plus a super positive hosting crew.

Great talks so far, I'm biased but really liked @mahal0z.bsky.social 's on improving decompilation ⛵

2024 was a significant year for decompilation, constituting a possible resurgence in the field. Major talks, the thirty-year anniversary of research, movements in AI, and an all-time high for top publications in decompilation.

Join me for a retrospective:
mahaloz.re/dec-progr...

Set sail into the rocky seas of compiler optimizations! Zion Basque (@mahal0z.bsky.social) explores how optimizations wreak havoc on decompilers and how to reverse them. Learn about the new angr decompiler & innovations to tackle ugly decompilations! https://re-verse.sessionize.com/session/776160

Everything in this talk is open-source, from our algorithms to the very decompiler we made to handle these optimizations:
github.com/angr/angr...
www.usenix.org/syste...

Try it out, and come with fun questions about decompilation :).

Whether it be IDA, Ghidra, or Binja, we've all encountered lousy decompilation, even in the simplest of programs. A large culprit? Compiler optimizations! However, not all opts are equal, and many are reversible. Interested in how/why? Come to my talk at @REverseConf next month!

New in DAILA, an AI-integrated decompiler plugin, v3.15.0, support for custom endpoints was added by @pc944. Check it out: github.com/mahaloz/D...

Hello world!