We found 1 episode of Linux Action News with the tag “formal verfication”.
-
Linux Action News 263
October 20th, 2022 | 17 mins 20 secs
camkes, cve-2022-41674, cve-2022-42719, cve-2022-42720, cve-2022-42721, cve-2022-42722, fedora 37, firefox 106, formal verfication, impervious, impervious.ai, kataos, libwebrtc 103, linux 6.1, linux action news, linux news podcast, linux wifi flaw, lts, mac80211, microkernel, release party, risc-v, rust, sel4, sparrow, suse, tu darmstadt, wayland, webrtc, wlan frames
What makes Google's new OS so secure, a critical WiFi vulnerability in the Kernel, and why Linus is tapping the hype breaks for Linux 6.1.