Mastodon Feed
cwebber@social.coop ("Christine Lemmer-Webber") wrote:
Meanwhile Linux publishes 432 Linux kernel CVEs https://lore.kernel.org/linux-cve-announce/
There is only one path out of this. We need a *fully auditable, formally verified, and human-understandable* capability-secure trusted computing base as the foundation of our operating systems.
Otherwise... we're just toast.