AWS Encryption SDK for Dafny

https://github.com/aws/aws-encryption-sdk

The AWS Encryption SDK for Dafny enables secure client-side encryption using cryptography best...

Tokens:21,642
Snippets:266
Trust Score:9
License:Apache-2.0
Update:2 weeks ago
Tokens:
Raw