🎉 Excited to share that our paper "ARGUZZ: Testing zkVMs for Soundness and Completeness Bugs" was accepted to USENIX Security 2026. Joint work with @vwuestholz.bsky.social and Maria Christakis 📑 Paper: mariachris.github.io/Pubs/SECURIT... 💻 Repository: github.com/Rigorous-Sof...

Youtube: youtu.be/oF7krd0TQks Spotify: open.spotify.com/episode/2PH7... Apple Podcasts: podcasts.apple.com/us/podcast/f...

Are conference reviewers harsher when they have a submission of their own? Post from @wicko3.bsky.social johnwickerson.wordpress.com/2025/11/19/a...

📣 Fuzzing community: Stop obsessing over incremental metrics and objectives. We're stuck in a local optimum! True progress requires a focus on novelty and paradigm shifts to advance the state of the art. Let's innovate, not just optimize.

Presented our #CCS25 paper yesterday in Taipei! 🎤 We introduce Circuzz, the first systematic fuzzing framework for zero-knowledge (ZK) pipelines. 📄 Paper: mariachris.github.io/Pubs/CCS-202... 💻 Repo: github.com/Rigorous-Sof... with @isychev.bsky.social, @vwuestholz.bsky.social, Maria Christakis

We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe. signal.org/blog/pdfs/ge...

The future of software engineering: "My program doesn't have bugs! 😡These are just some bad vibes!" 😎

Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...

#FUZZING'25 Deadline Extension ────── If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to extend the deadline to March 26, 2025! 🔗 fuzzingworkshop.github.io //cc @rohan.padhye.org, László Szekeres, @ruijiemeng.bsky.social, @mboehme.bsky.social

Want security in research? And research in security? Actually, why not have both? "In view of the current geopolitical landscape", #CISPA has opened a new round of faculty positions, including CySec, SE, ML, theory: jobs.cispa.saarland/jobs/detail/...

📣 I have open PhD and postdoc positions in "Practically Usable Verification for Numerical Programs", located in Uppsala, Sweden. Deadline to apply: 22 April. Start date is flexible. Find the links to ad and application portals on my website: malyzajko.github.io