Infosec Decoded Season 6 #27: Formally Verified CodeWith sambowne@infosec.exchange and Doug SpindlerLinks: https://samsclass.info/news/news_041326.htmlRecorded Thu, April 16, 2026

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

Formally Verified Code

A twice-weekly podcast of security news and commentary with Sam Bowne, Elizabeth Biddlecome, Kaitlyn Handelman, Irvin Lemus, and Alan Wennersten.

Share Formally Verified Code

Sign up to save your podcasts

Formally Verified Code

Formally Verified Code