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

Architecting Microsoft Azure Solutions
Microsoft via edX Internetwork Security
Indian Institute of Technology, Kharagpur via Swayam Network Security
Georgia Institute of Technology via Udacity Microsoft Professional Orientation : Cloud Administration
Microsoft via edX Cyber Threats and Attack Vectors
University of Colorado System via Coursera