Formally Verified Code
Show notes
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
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