Infosec Decoded Season 6 #27: Formally Verified Code

With [email protected] and Doug Spindler

Links: https://samsclass.info/news/news_041326.html

Recorded Thu, April 16, 2026