The secret to provable cloud security? Fancy math. Learn how Zelkova uses math and logic to help ask the right questions about your system policies. https://t.co/NhlfOOGE9C
Greg Frascadore from Bridgewater Associates at #AWSLoft talking about how his team ensures secure access controls with the help of AWS automated reasoning tech, Zelkova.