Rendered at 04:01:27 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
NeuraCryption 7 hours ago [-]
In the last few months we have seen millions of Vulnerabilities being reported and 100s of thousands valid, exploitable. AI is not just finding vulnerabilities, it is making it very difficult for engineers to know which one is exploitable or false-positive. And if such decision makers are ceased, it will create a paralysis
genxy 6 hours ago [-]
Systems should be taken offline until they can be proven secure. Nearly all of these bugs are exploitable, or can be chained into a larger exploit.
AlotOfReading 58 minutes ago [-]
Have you ever written a system that's provably secure? Can you point to anyone else that has?
Even sel4 has easily invalidated assumptions built into its proof model.
icedchai 4 hours ago [-]
There's a lot of systems out there that operate on quarterly schedules, or worse. I once did some work for a company that hadn't updated anything in more than 4 years. Systems with 1500+ day uptimes, zero patches.
Even sel4 has easily invalidated assumptions built into its proof model.