AwsCryptographyPrimitives is a library written to invoke lower level cryptographic primitives and to convert between Dafny generated code and native .NET code.
Install
| Product | Versions |
|---|---|
| .NET | |
| Other |
README
AWS Cryptographic Internal AwsCryptographyPrimitives
The 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.
Security
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.
Changes from Previous Version
Adoption Assessment
A verified publisher signal is available. Assess fit from the package's supported frameworks, license and dependency graph rather than popularity alone.
Related Guides & Workflows
Learn how to evaluate, integrate, or audit this package in your .NET project.