AwsCryptographyPrimitives is a library written to invoke lower level cryptographic primitives and to convert between Dafny generated code and native .NET code.
$ dotnet add package AWS.Cryptography.Internal.AwsCryptographyPrimitivesThe AWS Cryptographic Internal AwsCryptographyPrimitives 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.