Infosec Decoded Season 6 #67: Formal Software Verification

With sambowne@infosec.exchange and Doug Spindler

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

Recorded Mon, Oct 26, 2026

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Sam Bowne. Innehållet i podden är skapat av Sam Bowne och inte av, eller tillsammans med, Poddtoppen.