Stop Guessing and Start Proving: Demystifying AWS Zelkova - Kaushik Devireddy

Speaker: Kaushik Devireddy

Kaushik is an undergraduate student and sponsored researcher in the UCLA connection Lab, working on the intersection of formal methods and cloud security. In addition, he is an intern at a cloud-security startup (dassana.io), blending his academic background in security with practical approaches.

Abstract: As cloud environments continue to explode in complexity, formal methods have started to gain attention for their potential to secure clouds at scale. AWS undoubtedly pioneered this space by developing Tiros + Zelkova …

addition aws cloud cloud security intern intersection lab researcher security security startup sponsored start startup student working