Hacker News
- Discover and Prevent Linux Kernel Zero-Day Exploit Using Formal Verification http://digamma.ai/blog/discover-prevent-linux-kernel-zero-day-exploit-using-formal-verification/ 3 comments
Linked pages
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- CompCert - Main page https://compcert.org/ 1 comment
- Verified Software Toolchain https://vst.cs.princeton.edu/ 0 comments
- Zero Day Initiative — CVE-2021-31440: An Incorrect Bounds Calculation in the Linux Kernel eBPF Verifier https://www.zerodayinitiative.com/blog/2021/5/26/cve-2021-31440-an-incorrect-bounds-calculation-in-the-linux-kernel-ebpf-verifier 0 comments
Would you like to stay up to date with Unix? Checkout Unix
Weekly.
Related searches:
Search whole site: site:digamma.ai
Search title: How to Discover and Prevent Linux Kernel Zero-day Exploit using Formal Verification - digamma.ai
See how to search.