iiinova — where your digital self keeps evolving

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

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

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

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

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

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

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

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

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

4039242365

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

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

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

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

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