Crypto: Model OpenSSL intermediate digest operations#19521

Merged

nicolaswill merged 3 commits intogithub:mainfrom

bdrodes:openssl_intermediate_digest_operations

May 19, 2025

Commits on May 19, 2025

Quantum/Crypto:Adding interemediate hashing to the openssl (e.g., modeling final and update digest separately).
bdrodes
committed
Quantum/Crypto: To avoid ambiguity, altered OpenSSL EVP_Update_Call and EVP_Final_Call used for ciphers to explicitly say "Cipher", e.g., EVP_Cipher_Update_Call. This is also consistent with the ne…
bdrodes
committed
Quantum/Crypto: Adding Random.qll for OpenSSL into the general imports for the OpenSSL.qll model.
bdrodes
committed