Dismantling the Beast: Formally Proving Access at Scale in AWS

• Mohit Gupta Nick Jones
• fwd:cloudsec North America 2022