Tools
TLS-Scanner
Evaluation of TLS client and server configurations
SCRUTINY
Analysis of performance and correctness of cryptographic implementations
ALVIE
Security analysis of embedded hardware architectures
sec-certs
Processing artifacts from CC and FIPS 140 into machine-readable data