iiinova — where your digital self keeps evolving

Valentin Wüstholz @vwuestholz.bsky.social · 06/10/2026

Hot take: Want to kill paper slop? Brutally cap submissions at 1–3 per author per conference. Force authors to filter their own noise instead of treating peer review like a lottery. Bonus: your best work might again get the attention it deserves.

001 1

Valentin Wüstholz @vwuestholz.bsky.social · 16/07/2026

PSA: With the hype around (agentic) formal verification, we should be much more explicit about what aspects of a system were "formally verified". Ask "what specs were verified?", "who reviewed them?", and "how was the verifier validated?" 🙏"formally verified" != "bug free"!

010 1

Valentin Wüstholz @vwuestholz.bsky.social · 06/07/2026

Vibe Verification (n.): Letting an AI agent produce programs, specs, and proofs with minimal human supervision; also the smug feeling when the agent successfully made a formal verification tool emit a green checkmark. Soon coming to nuclear power plants near you? 🙈

000 0

Valentin Wüstholz @vwuestholz.bsky.social · 17/06/2026

Hackers in 2025: "Find all the bugs! Make no mistakes!" 🔍 Hackers in 2026: "Fix all the bugs! Make no mistakes!" 🔧 What breakthrough will 2027 bring? 🤯

000 0

Valentin Wüstholz @vwuestholz.bsky.social · 11/06/2026

Some people are way too excited about AI agents doing formal verification! 😅 Why would agents go through the trouble of finding and proving meaningful specifications when they could just cheat by assuming false, exploiting a soundness bug, or proving a complex tautology?

010 1

Reposted by Valentin Wüstholz

Christoph Hochrainer @chochrainer.bsky.social · 16/01/2026

🎉 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...

111 1

Reposted by Valentin Wüstholz

Antithesis @antithesis.com · 26/11/2025

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

youtu.be

From the Lab to Production: Making Cutting-Edge Testing Practical

YouTube video by Antithesis

022 2

Valentin Wüstholz @vwuestholz.bsky.social · 26/10/2025

📣 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.

050 5

Reposted by Valentin Wüstholz

Christoph Hochrainer @chochrainer.bsky.social · 15/10/2025

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

043 4

Reposted by Valentin Wüstholz

Signal @signal.org · 03/10/2025

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...

signal.org

4039232363 3.9K

Valentin Wüstholz @vwuestholz.bsky.social · 07/05/2025

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

071 7

Reposted by Valentin Wüstholz

Armin Biere @arminbiere.bsky.social · 26/03/2025

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...

uni-freiburg.de

University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...

075 7

Reposted by Valentin Wüstholz

Yannic Noller @yannicnoller.bsky.social · 21/03/2025

#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

fuzzingworkshop.github.io

FUZZING'25 Workshop @ ISSTA

The 4th International Fuzzing Workshop (FUZZING) 2025 welcomes all researchers, scientists, engineers and practitioners to present their latest research findings, empirical analyses, t...

037 7

Reposted by Valentin Wüstholz

Andreas Zeller @andreaszeller.bsky.social · 20/03/2025

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/...

jobs.cispa.saarland

Tenure-Track Faculty in all areas related to Information Security and Artificial Intelligence (f/m/d) - extended call | CISPA | Jobs

1184 18

Reposted by Valentin Wüstholz

Eva Darulova @malyzajko.bsky.social · 13/03/2025

📣 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

0104 10