Infosec Decoded Season 6 #27: Formally Verified Code
With sambowne@infosec.exchange and Doug Spindler
Links: https://samsclass.info/news/news_041326.html
Recorded Thu, April 16, 2026
Information
- Show
- FrequencyUpdated twice weekly
- Published16 April 2026 at 16:00 UTC
- Length41 min
- RatingClean