YoVDO

Provable Security at AWS - Automated Reasoning for Cloud Security

Offered By: USENIX Enigma Conference via YouTube

Tags

Cloud Security Courses Mathematical logic Courses Data Protection Courses Amazon Web Services Courses Threat Landscape Courses Provable Security Courses

Course Description

Overview

Explore how Amazon Web Services utilizes automated reasoning technology to enhance cloud security in this 21-minute conference talk from USENIX Enigma 2019. Discover the concept of provable security, which provides absolute assurance in cloud security through the application of mathematical logic. Learn how AWS detects entire classes of misconfigurations that could potentially expose vulnerable data, and how this next-generation technology is protecting customers in an evolving threat landscape. Gain insights into how AWS customers are implementing provable security features in their cloud environments to strengthen their overall security posture.

Syllabus

USENIX Enigma 2019 - Provable Security at AWS


Taught by

USENIX Enigma Conference

Related Courses

Introduction to Logic
Stanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX