awslabs / aws-verification-model-for-libcrypto

Partial verification model for openssl.
Apache License 2.0
4 stars 16 forks source link

Add new openssl models #27

Closed feliperodri closed 3 years ago

feliperodri commented 3 years ago

Signed-off-by: Felipe R. Monteiro felisous@amazon.com

Issue #, if available: N/A.

Description of changes: We add models for aes, des, dh, rc4, rsa, x509, and x509v3.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.