Security Now

Formal Verification (1x785)

Air date: Sep 22, 2020

iOS 14 & Android 11 security features, DuckDuckGo gets big. The most important iOS 14 privacy & security features All of Android 11's new privacy & security features DuckDuckGo usage growth goes exponential LAN attack bug fixed in Firefox 79 for Android Goodbye Forever Firefox Send and Notes... Oh, how we loved ye Microsoft’s catastrophic Zerologon vulnerability Why we're headed toward formal verification of security protocols