Award Recipient Cas Cremers CISPA Helmholtz Center for Information Security Social website 2021 Amazon Research Award “KeyLife: automated formal analysis for key lifecycles in security protocols with policies, delegation, and compromise”
