Security Now 785: Formal Verification

All TWiT.tv Shows (Video)

English - September 23, 2020 03:52 - 1 hour - 1.34 GB Video - ★★★★ - 15 ratings
Tech News News Technology twit this week in tech leo laporte technology tech news tech podcasts Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed

Previous Episode: MacBreak Weekly 732: Victorian Doily Factory

Next Episode: All About Android 491: Android Predicted an Earthquake!

iOS 14 & Android 11 security features, DuckDuckGo gets big.

The most important iOS 14 privacy & security featuresAll of Android 11's new privacy & security featuresDuckDuckGo usage growth goes exponentialLAN attack bug fixed in Firefox 79 for AndroidGoodbye Forever Firefox Send and Notes... Oh, how we loved yeMicrosoft's catastrophic Zerologon vulnerabilityWhy 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