aws / aws/aws-encryption-sdk-c
Add more post-conditions to aws_cryptosdk_keyring_on_decrypt proof
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
There are still more functional properties to be checked.
Contributor guide
Research direction
Start by locating the aws_cryptosdk_keyring_on_decrypt proof and reading its existing post-conditions. Determine which functional properties are still missing from the proof and how they are specified elsewhere in the repository. Done means the additional properties are formally checked and the proof remains valid.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cryptography, security
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100