In early June, we announced that we had signed a Memorandum of Understanding with DIN Deutsches Institut für Normung e. V. (the German Institute for Standardization) to strengthen open source participation in international standards development. Photo: Peter-Paul Weiler
David Korczynski
@davkor.bsky.social
Software security with a heavy focus on fuzzing and program analysis. Researcher at Ada Logics
OSS-Fuzz has introduced skills and wrappers around CLI agents to improve fuzzing -- we ran an experiment on around 50 projects and have documented some of the observations! Check it out -- fuzzing is changing rapidly given the strength of agents. blog.oss-fuzz.com/posts/introd...
Introducing agentic capabilities and OSS-Fuzz
Introducing agentic capabilities and OSS-Fuzz.
blog.oss-fuzz.com
Automating OSS-Fuzz integrations using an agentic approach to build generation: blog.oss-fuzz.com/posts/oss-fu... Fuzzing at scale requires a solution for build script generation, and an LLM-based agentic approach looks promising for this. It too works well with OFG's harness gen capabilities 🤟
OSS-Fuzz integrations via agent-based build generation
OSS-Fuzz integrations via agent-based build generation.
blog.oss-fuzz.com
We’re hiring Vulnerability Researchers at @infosectcbr.bsky.social that specialise in Linux, OS kernels, Android, and embedded/IoT. With a world class hardware lab, come join our friendly and collaborative team, focusing on research against leading technologies. DM for details.
Awesome job by my PhD student @gabriel-sherman.bsky.social presenting his work on Oracle-guided C Fuzzing Harness Generation! @icseconf.bsky.social TLDR; 41 new bugs (40 now patched)... with 0 false positives!
Using #LibAFL to fuzz @golang.org binaries with a proper modern fuzzer 📈📈 Super cool stuff by @srlabs.bsky.social www.srlabs.de/blog-post/go...
GoLibAFL — Fuzzing Go binaries using LibAFL
Nils Ollrogge, Bruno Produit
srlabs.de
#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: * Ruijie Meng (@ruijiemeng.bsky.social; NUS) * Rohan Padhye (@rohan.padhye.org; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20.March (Submission) 📅 17.April (Notification) 📅 28.June (Workshop)
Auto generating #fuzzing harnesses by way of program analysis and #LLMs! New blog post "Minimal LLM-based fuzz harness generator": adalogics.com/blog/minimal... We show how you can generate a sophisticated fuzz harness synthesis tool with a few lines of code.
Minimal LLM-based fuzz harness generator
adalogics.com
TIL Fuzz Introspector has moved to tree-sitter and a Python library. Cool!
"Fuzz Introspector: enabling rapid fuzz introspection tool development" -- a new blog post on Fuzz Introspector and how it is moving into supporting analysis as a pure python library. #fuzzing #program-analysis See the blog post: adalogics.com/blog/fuzz-in...
"Fuzz Introspector: enabling rapid fuzz introspection tool development" -- a new blog post on Fuzz Introspector and how it is moving into supporting analysis as a pure python library. #fuzzing #program-analysis See the blog post: adalogics.com/blog/fuzz-in...
Fuzz Introspector: enabling rapid fuzz introspection tool development
adalogics.com
Yesterday, I gave a commencement speech for the graduates of #Passau University. "The virtue of simplicity" reflected on the role of simplicity in science, both personal and universal, and how it is important for the future career of graduates. Enjoy! andreas-zeller.info/2025/01/25/T...
The Virtue of Simplicity
On January 24, 2025, I was invited to give a commencement speech for the graduates of Passau University. My speech focused on the “virtue of simplicity”, reflecting on the role of simplicity in scienc...
andreas-zeller.info
Project Zero is hiring 👀 No need to tell y'all that the team is awesome
Senior Security Engineer, Security Research — Google Careers
google.com
“AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing” A look back at the last five years since the release of AFLNet, “the first code- and state-coverage-guided protocol fuzzer.” arxiv.org/abs/2412.20324
arxiv.org