Download
To build, the AWS Encryption SDK requires the most up-to-date version of dafny on your PATH. In addition, this project uses the parallel verification tasks provided by the dafny.msbuild MSBuild plugin, and thus requires dotnet 3.0. The tests currently require native implementations of cryptographic primitives and other methods, so they can only be run when embedding this library into one of the compilation target languages supported by Dafny. This repo uses Duvet to directly document the specification alongside this implementation. Refer to the specification for how to install duvet in order to generate reports. By default duvet_report will extract the spec only if it cannot find the compliance directory in the specification repo, but will re-use a previous extraction if it exists.
Features
- This library is licensed under the Apache 2.0 License
- This repo uses Duvet to directly document the specification alongside this implementation
- By default duvet_report will extract the spec only if it cannot find the compliance directory in the specification repo
- To build, the AWS Encryption SDK requires the most up to date version of dafny
- Requires dotnet 3.0
- The tests currently require native implementations of cryptographic primitives
Project Samples
