ADALogics Profile Banner
ADA Logics Profile
ADA Logics

@ADALogics

Followers
357
Following
515
Statuses
335

Advanced Software Security. Vulnerability analysis, software auditing and security automation. https://t.co/otKkF9vOSd

Oxford, England
Joined October 2018
Don't wanna be here? Send us removal request.
@ADALogics
ADA Logics
4 years
Our newly released program analysis bundle is available for online and self-paced training! Come and learn #fuzzing #llvm #programanalysis #vulnerabilityananlysis and much more with our online courses!
Tweet media one
0
2
6
@ADALogics
ADA Logics
1 year
Happy to announce our #fuzzing work on #LLVM focused on continuous fuzzing by way of OSS-Fuzz -- LLVM is now the project with most lines covered of all OSS-Fuzz projects! Thanks to collaborators @OSTIFofficial and @sovtechfund Full report is available in
0
3
11
@ADALogics
ADA Logics
1 year
RT @OSTIFofficial: Our first audit in collaboration with @sovtechfund's Bug Resilience Program is now published! 5 Jackson subprojects unde…
0
4
0
@ADALogics
ADA Logics
1 year
RT @CloudNativeFdn: 🔒 @KnativeProject has completed a third-party security audit! Check out the highlights on the blog from @AdamKorcz4 👇 h…
0
3
0
@ADALogics
ADA Logics
1 year
RT @Davkorcz: @KnativeProject security audit -- Verifiable provenance with #SLSA , #fuzzing with OSS-Fuzz and manual code auditing. Several…
0
2
0
@ADALogics
ADA Logics
1 year
RT @OSTIFofficial: With @ADALogics and @CloudNativeFdn, OSTIF completed a security audit of @KnativeProject- such a great engagement, well…
0
3
0
@ADALogics
ADA Logics
1 year
Holistic security audit of @kyverno : Supply Chain Security with #SLSA, #Fuzzing with OSS-Fuzz, Manual code review and Threat modelling! Full details in the report. Great collaboration with @kyverno maintainers, @OSTIFofficial and @CloudNativeFdn
@CloudNativeFdn
CNCF
1 year
The #Kyverno project has completed a third-party #securityaudit 💪 The main goals were to: - Define a threat model - Conduct a manual code audit - Assess #fuzzing - Evaluate #supplychain risks against #SLSA See the results from Kyverno + Ada Logics:
Tweet media one
0
0
4
@ADALogics
ADA Logics
1 year
RT @Davkorcz: Security audit of @kyverno -- details in the report. Holistic audit including #SLSA supply chain security assessment, #fuzzin
0
3
0
@ADALogics
ADA Logics
1 year
RT @kyverno: The Kyverno project collaborated with @ADALogics @OSTIFofficial and @CloudNativeFdn to complete a comprehensive 3rd party secu…
0
7
0
@ADALogics
ADA Logics
1 year
RT @OSTIFofficial: Get the lowdown on @kyverno's security audit by @ADALogics with support from @CloudNativeFdn and yours truly at https://…
0
3
0
@ADALogics
ADA Logics
1 year
We made a video introducing a recent OSS-Fuzz Visual Studio Code extension! Exciting new extension to help writing fuzzing harnesses for open source projects easier
@Davkorcz
David Korczynski
1 year
OSS-Fuzz Visual Studio Code Extension Introduction! New extension that can significantly improve #fuzz dev experience. I made a demo in which I increase cJSON code coverage from 43% to 73% using convenient features from the extension:
0
2
5
@ADALogics
ADA Logics
1 year
RT @Davkorcz: Excited to release a #CNCF #fuzzing handbook, focused on how to get started with fuzzing and includes an entire chapter on OS…
0
12
0
@ADALogics
ADA Logics
1 year
RT @CloudNativeFdn: [NEWS FROM #KUBECON] Learn about updates to #CNCF Fuzzing practices for 2023! Fuzzing is crucial for ensuring secure a…
0
9
0
@ADALogics
ADA Logics
1 year
RT @Davkorcz: Made a video on open source fuzzing introspection and how you can analyze the fuzzing set up of OSS-Fuzz projects using https…
0
20
0
@ADALogics
ADA Logics
2 years
RT @halbecaf: Curious about how a project on OSS-Fuzz is doing? Check out ! This provides runtime/statically-reac…
0
14
0
@ADALogics
ADA Logics
2 years
RT @CloudNativeFdn: The #Vitess maintainer team has announced the results of its recent 3rd party security audit! No Critical issues were…
0
5
0
@ADALogics
ADA Logics
2 years
RT @vitessio: The Vitess Maintainer team is pleased to announce the results of a recent third-party security audit of the Vitess code base.…
0
7
0
@ADALogics
ADA Logics
2 years
RT @cra: I’m proud of the work and investment we do in improving the security of CNCF projects #kubecon #cloudnativecon
0
4
0
@ADALogics
ADA Logics
2 years
RT @CloudNativeFdn: [NEWS from #KubeCon] CNCF fuzzing open source projects for security and reliability https://t…
0
6
0
@ADALogics
ADA Logics
2 years
RT @Davkorcz: We created a bridge to Fuzz Introspector data generated by OSS-Fuzz that you can use programmatically -- e.g. in a few lines…
0
6
0
@ADALogics
ADA Logics
2 years
RT @Davkorcz: Continuous #fuzzing of @HelmPack -- 4 CVEs, 38 fuzzers and OSS-Fuzz setup! Check out the full details in the blog post and ac…
0
4
0