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
