AI, Data Science & Cloud Certificates from Google, IBM & Meta — 50% Off
One plan covers every Professional Certificate on Coursera. 50% off Coursera Plus Annual for 10 days only — price increases June 17.
Unlock All Certificates
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.
