Provable Security Resources

Technical talks

AWS provable security videos

Research and insights

Formal Reasoning About the Security of Amazon Web Services

Debugging Network Reachability with Blocked Paths

Model Checking Boot Code from AWS Data Centers

Continuous Formal Verification of Amazon s2n

Reachability Analysis for AWS Based Networks

Semantic-Based Automated Reasoning for AWS Access Policies Using SMT

SideTrail: Verifying Time Balancing of Cryptosystems

Object-Oriented Security Proofs

Articles and blog posts

Displaying 1-8 (17)

Wall Street Journal article: Provable Security for Modern Applications

New – Amazon VPC Network Access Analyzer

One-click formal methods

AWS Security Profile: Rustan Leino, Senior Principal Applied Scientist

AWS Security Profile: John Backes, Senior SDE

Proving security at scale with automated reasoning – All Things Distributed

Provable security podcast: Automated reasoning’s past, present, and future with Moshe Vardi

Amazon S3 Block Public Access – Another layer of protection for your accounts and buckets

Have Questions? Connect with AWS Support

Contact Us

Exploring security roles?

Apply today »

Want AWS Security updates?

Follow us on Twitter »