SN 785: Formal Verification - iOS 14 & Android 11 Security Features, DuckDuckGo Gets Big

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

We invite you to read our show notes at https://www.grc.com/sn/SN-785-Notes.pdf

Hosts: Steve Gibson and Leo Laporte

Download or subscribe to this show at https://twit.tv/shows/security-now.

You can submit a question to Security Now! at the GRC Feedback Page.

For 16kbps versions, transcripts, and notes (including fixes), visit Steve's site: grc.com, also the home of the best disk maintenance and recovery utility ever written Spinrite 6.

Sponsors:

• extrahop.com/SECURITYNOW
• Wasabi.com offer code SECURITYNOW
• securityscorecard.com/twit