PodParley PodParley
PodParley
Formally Verified Code episode artwork

EPISODE · Apr 16, 2026 · 41 MIN

Formally Verified Code

from Infosec Decoded · host Sam Bowne

Infosec Decoded Season 6 #27: Formally Verified CodeWith [email protected] and Doug SpindlerLinks: https://samsclass.info/news/news_041326.htmlRecorded Thu, April 16, 2026

What this episode covers

Infosec Decoded Season 6 #27: Formally Verified CodeWith [email protected] and Doug SpindlerLinks: https://samsclass.info/news/news_041326.htmlRecorded Thu, April 16, 2026

NOW PLAYING

Formally Verified Code

0:00 41:16

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

Unsecurity Episode 259: The Cyber Resilience Act, Open Source, & AI w/ Madalin Neag & CRob

Jun 29, 2026 ·35m

Is the "Attackers Only Need to Be Right Once" a Misnomer?

Jun 25, 2026 ·27m

What It Takes To Be Successful in Cyber Media

Jun 18, 2026 ·55m

CISOs Buy For Selfish and Politically Risk-Averse Reasons (Not Because Your Product is the Best)

Jun 11, 2026 ·31m

Has Cybersecurity Become a Cult?

Jun 4, 2026 ·33m

Ep 84. The Butterfly Muscles

Jun 3, 2026 ·20m

Similar Podcasts

The Shellsharks Podcast Shellsharks A show about infosec, technology and life! Data Security Decoded Rubrik Welcome to the Data Security Decoded podcast — your guide to navigating the complex world of data protection. Each episode breaks down key cybersecurity issues and cyber resilience strategies in clear, accessible language. We speak with business leaders and cybersecurity experts to keep you informed about the latest trends and help you future-proof your data security. Join us on this essential journey. Purple Squad Security John Svazic Information Security, InfoSec, CyberSec, Cyber, Security, whatever you call it, we talk about it! From mobiles and desktops to data centers and the cloud, Purple Squad Security is here to help and give back to our community of information security professionals. We cover security topics for the red team, blue team, purple team, whatever team! We are a community of professionals, and this is one man's attempt to give back. CISSP, CISM, CEH credits can be obtained here! Also happy to provide info for OSCP, OSCE, and other Offensive Security certified professionals. UNSECURITY: Information Security Podcast The InfoSec Mission Weekly information security podcast airing Monday mornings hosted by Oscar Minks and Brad Nigh. In a unique focus on protecting personal information, Oscar and Brad discuss information security as an issue that includes cyber security, physical security, as well as administrative controls. Oscar is the CTO of FRSecure and heads technical services and operations at the company. Brad is the Principal Security Consultant and a 20+ year veteran of the industry.

Frequently Asked Questions

How long is this episode of Infosec Decoded?

This episode is 41 minutes long.

When was this Infosec Decoded episode published?

This episode was published on April 16, 2026.

What is this episode about?

Infosec Decoded Season 6 #27: Formally Verified CodeWith [email protected] and Doug SpindlerLinks: https://samsclass.info/news/news_041326.htmlRecorded Thu, April 16, 2026

Can I download this Infosec Decoded episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.
URL copied to clipboard!