Download Latest Version
4.1.1 -- 2025-10-14 source code.tar.gz (5.4 MB)
Get an email when there's a new version of AWS Encryption SDK for Dafny
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| 4.0.1 -- 2023-11-21 source code.tar.gz | 2023-11-22 | 760.0 kB | |
| 4.0.1 -- 2023-11-21 source code.zip | 2023-11-22 | 885.4 kB | |
| README.md | 2023-11-22 | 972 Bytes | |
| Totals: 3 Items | 1.6 MB | 0 | |
Fixes
The ESDK-NET’s Message Header AAD incorrectly appended two empty bytes when using the DefaultCMM. The HKDF invocation of non-committing algorithm suites failed to include the Message ID in the info parameter.
Neither of these issues effect the security of messages written by the 4.0.0 release.
However, these messages diverge from the Encryption SDK Message Specification. Thus:
- ESDK-NET v4.0.0 writes messages that only ESDK-NET v4.0.0 and greater can read.
- ESDK-NET v4.0.0 is ONLY able to read messages that are written by ESDK-NET v4.0.0
These issues are fixed in 4.0.1, which writes messages according to the Encryption SDK Message Specification, and are interoperable with other implementations of this library.
The option NetV4_RetryPolicy can be use to decrypt v4.0.0 messages. See NetV4_0_0Example.cs on how to use the NetV4_RetryPolicy and details on distributed applications.
