
David Korczynski
@davkorcz
researcher @ADALogics | Software security, fuzzing, vulnerability analysis, AI, open source. | CS PhD from @CompSciOxford
ID: 791900529135800320
https://github.com/DavidKorczynski 28-10-2016 07:12:53
706 Tweet
1,1K Followers
250 Following





OSTIF worked with ADA Logics to complete audits on 3 Apache Commons libraries (IO, Lang, and Codec)! This effort was made possible though the support of Apache - The ASF and funding by Amazon Web Services. Read about the engagement's impact on the JDK libraries at ostif.org/apachec-audit-…



Thanks to ADA Logics for doing a security audit recently for Minder! They analyzed our threat model and vulnerable code patterns, so that we can make Minder even more secure. stacklok.com/blog/securing-… #cybersecurity









New blog post about OSS-Fuzz AI-powered fuzzing is live! We talk about what went into making LLMs work well enough for this use case to find 26 new vulnerabilities (including a CVE in OpenSSL), as well as what else we have planned to make this better. security.googleblog.com/2024/11/leveli…




Automating OSS-Fuzz integrations with an agentic approach to build generation blog.oss-fuzz.com/posts/oss-fuzz… #Fuzzing at scale needs a solution for build script generation and an LLM-based agentic approach looks promising. It naturally works well with OFGs harness gen capabilities 🤟