Skip to main content
AWS.Cryptography.Internal.AwsCryptographyPrimitives package icon

AWS.Cryptography.Internal.AwsCryptographyPrimitives

AwsCryptographyPrimitives is a library written to invoke lower level cryptographic primitives and to convert between Dafny generated code and native .NET code.

Total Downloads
1.2M
1,177,000
Published
Mar 18, 2026
Latest stable version

Install

.NET CLI
dotnet add package AWS.Cryptography.Internal.AwsCryptographyPrimitives --version 2.0.0
Package Manager Console
Install-Package AWS.Cryptography.Internal.AwsCryptographyPrimitives -Version 2.0.0
PackageReference
<PackageReference Include="AWS.Cryptography.Internal.AwsCryptographyPrimitives" Version="2.0.0" />

Frameworks

.NETFramework4.8 net6.0

Dependencies

AWSSDK.Core
.NETFramework4.8
[3.7.304.2, )
[2.6.2, )
DafnyRuntime
.NETFramework4.8
[4.9.0, )
[1.7.0, )
System.ValueTuple
.NETFramework4.8
[4.6.1, )
[3.7.304.2, )
[4.9.0, )
[4.6.1, )

Adoption guide

A verified publisher signal is available. Assess fit from the package's supported frameworks, license and dependency graph rather than popularity alone.

Compatibility metadata lists 2 target frameworks; confirm the exact target used by your application.

How to read this guidance

Sources: published NuGet v3 registry metadata and explicit NuBrowse editorial guides. Refresh: package metadata is refreshed from NuGet when the page loads. Limit: this is not a security, legal or compatibility guarantee; validate the selected version in your project.

Useful next steps

Move from package metadata to a concrete selection or review workflow.