SEC301: The Theory and Math Behind Data Privacy and Security Assurance - a podcast by AWS

Data privacy and security are top concerns for customers in the cloud. In this session, the AWS Automated Reasoning group shares the advanced technologies, rooted in mathematical proof, that help provide the highest levels of security assurance in today's data-driven world. The Automated Reasoning group co-presents with Bridgewater, a customer that has leveraged these technologies to help confirm that security requirements are being met, an assurance not previously available from conventional tools.

Further episodes of AWS re:Invent 2018

Further podcasts by AWS

Website of AWS