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


Manage episode 272705912 series 142174
By Leo Laporte. Discovered by Player FM and our community — copyright is owned by the publisher, not Player FM, and audio is streamed directly from their servers. Hit the Subscribe button to track updates in Player FM, or paste the feed URL into other podcast apps.

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

Hosts: Steve Gibson and Leo Laporte

Download or subscribe to this show at

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:, also the home of the best disk maintenance and recovery utility ever written Spinrite 6.


248 episodes