AWS Podcast

#306: [Provable Security Podcast Series Episode #1]: Automated Reasoning’s Past, Present, and Future with Moshe Vardi

Provable Security: Conversations on Next Gen Security. We published a podcast (https://aws.amazon.com/podcasts/aws-podcast/#266) on provable security (https://aws.amazon.com/security/provable-security/) last fall, and, due to high customer interest, we decided to bring you a regular peek into this AWS initiative. This series will cover how the…