Machine-checked proof of security for AWS Key Management Service
EasyCrypt formalization of the AWS Key Management Service.
Vitor Pereira
Computer Scientist
- Portugal
- Independent Researcher
- Github
- Google Scholar
- ORCID
EasyCrypt formalization of the AWS Key Management Service.