🎉 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
