ComAmazonawsKms is a library written to convert between Dafny generated code and native .NET code that interacts with AWS KMS.
$ dotnet add package AWS.Cryptography.Internal.ComAmazonawsKmsThe AWS Cryptographic Internal ComAmazonAwsKms is a modeled library used in the AWS Cryptographic Material Providers Library. This internal library makes no guarantees that functionality will be added or removed between minor versions.
DO NOT take a standalone dependency on this library.
If you discover a potential security issue in this project we ask that you notify AWS/Amazon Security via our vulnerability reporting page. Please do not create a public GitHub issue.