🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I am happy to share that our paper “Non Termination Proving At Scale” was accepted at OOPSLA’24. Always a pleasure to collaborate with Azalea Raad and Peter O'Hearn :) See you in Pasadena for SPLASH Conference in October!

We updated our CFP for Phrack 72! The deadline is now April 1st 2025. Check the site for specifics on how to contribute, as well as some inspiration! We also posted a link to purchase physical copies of Phrack 71, and a donation link too. Enjoy! phrack.org

Happy New Year! If you are still looking for New year resolutions, consider submitting a paper, a research report, or a Parser Bug-of-the-Year nomination to 11th LangSec IEEE Security & Privacy '25 workshop! langsec.org/spw25/ The current deadline for papers is January 20.

The submission deadline for the 11th LangSec IEEE Security & Privacy workshop langsec.org/spw25/ is extended to January 31, 2025. Please send us your papers, research reports, posters or panel proposals! #langsec

So Google now refuses all my searches with "Turn on JavaScript to keep searching". I'm not sure why, but here's the thing: if I really need to turn on JS for a simple query, I'll go to a different search engine or maybe perplexity .ai. What a way to break the habit of 20+ years.

The LangSec IEEE Security & Privacy Workshop is pleased to extend the paper submission deadline to February 10, 2025, thanks to IEEE's generous camera-ready date extension. Please see updates at langsec.org/spw25/importan…, submit your work, and join us in San Francisco on May 15!

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-progress-2…

A sad story of an expensive dishwasher that is only semi-functional without the "cloud": jeffgeerling.com/blog/2025/i-wo… At the very least, such products should be very conspicuously labeled. Look out for "HomeConnect" & suchlike signs.

A quick reminder that discounted registration rates for for the #LangSec workshop end tomorrow, April 14, at 11:59 pm PDT, and the conference hotel block rates end shortly after. Details at langsec.org/spw25/importan… We hope to see you all in San Francisco on May 15, 2025!

We need a conference on Usable Formal Methods. Every submission to it must come with a verifier, a set of positive/negative examples for it, and an exercise. A review may give a positive score only if it provides a solution to the exercise, which is accepted by the verifier.

11th LangSec IEEE Security & Privacy workshop is happy to announce its preliminary program: langsec.org/spw25/program.… Abstracts are posted at langsec.org/spw25/abstract… Join us on May 15 in San Francisco!

All who care about learning from parser bugs: please submit your "Parser Bug of the Year" award nominations langsec.org/spw25/bug-of-t… ! Nominations are accepted through May 10, awards to be announced May 15 at the LangSec workshop.

I am looking forward to sharing my thoughts and learnings from DARPA programs on the new kinds of tools we need for maintaining and sustaining software and firmware at hardwear.io , hardwear.io/usa-2025/speak…

Interesting expansion of DARPA 's AMP work on high-assurance patching, applied to a medical device: aarno-labs.com/blog/post/high…

Papers and slides from the 11th LangSec IEEE Security & Privacy workshop are now posted on the LangSec website: langsec.org/spw25/abstract…

Starting the long haul to PLDI for some early sight seeing! I’m this guy 👇. Chat me up! I’m nice! Egraphs, proof assistants, smt, or whatever you like!

Cybersecurity is not about maintaining status quo, cost centers, and accepting risk. It is about creating safe code faster, cheaper, and changing it safely as fast as needed for the mission. Formal methods is the only path to winning in the cyber domain: darpa.mil/formal-methods

The cat is out of the bag! Our very first Bloomberg Infrastructure & Security Research Ph.D. Fellowship is just announced. Consider submitting your fellowship application by July 18th.