Provable Security at AWS - Automated Reasoning for Cloud Security
Offered By: USENIX Enigma Conference via YouTube
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
Réalisez des calculs distribués sur des données massivesCentraleSupélec via OpenClassrooms Data Management in the Cloud
Arizona State University via Coursera Programming with Cloud IoT Platforms
Pohang University of Science and Technology via Coursera AWS IoT: Developing and Deploying an Internet of Things
Amazon Web Services via edX AWS Computer Vision: Getting Started with GluonCV
Amazon Web Services via Coursera