Cryptographic testing #
This section presents testing tools to verify implementations of cryptographic algorithms.
For each tool, we cover topics such as:
- Explain the workings of these tools
- Installation and basic use
- Provide examples
- Wycheproof
- Wycheproof is a collection of test vectors for existing cryptographic algorithms which developers can use to verify their implementation and check for known attacks and vulnerabilities
- Constant time analysis tooling
- Constant time tooling aims to verify that there do not exist any timing side channels in a implementation.