discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
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
8/6/2021