AWS policy authorization engine: a talk by Lucas Wagner and Sean McLaughlin

View profile for Byron Cook

Amazon Web Services, working on automated reasoning and GenAI correctness/explainability

Something that's been in the works for a long time: details of the formal correctness proof (in Dafny) of AWS's policy authorization engine, which makes 2+ billion decisions per second about who can access what, on practically every call to AWS. Talk is by Lucas Wagner and Sean McLaughlin https://lnkd.in/eiJYQeqw

AWS re:Inforce 2024 - Proving the correctness of AWS authorization (IAM401)

https://www.youtube.com/

Pushkar Jaltare

Security Architect at Fastly | Ex- AWS Security | Ex Pentesting Lead

8mo

This is great for my learning purposes. Thanks for sharing this.

Like
Reply
Darren Cofer

Principal Fellow at Collins Aerospace

8mo

Nice talk, impressive work!

Jim Scharf

Technology Innovator, Product Builder, Inclusive Leader

9mo

Nice!

Christopher de Kadt

Director, Software Development at Amazon Web Services (Amazon Development Centre Canada ULC)

9mo

Very cool!

Incredible! Great work Byron and team.

Like
Reply
Ateet Bhalla, PhD

Technoscience - Digital Brain | Cognitive AI | gen AI | agentic AI | Math AI | Science of Artificial Intelligence

9mo

Nice Talk

Like
Reply
See more comments

To view or add a comment, sign in

Explore topics