Quantum: Model OpenSSL EC key generation#19541

Merged

nicolaswill merged 3 commits intogithub:mainfrom

bdrodes:openssl_ec_key_gen

May 21, 2025

Commits on May 20, 2025

Crypto: Alterations to OpenSSL cipher algorithms to use new fixed keysize predicate.
bdrodes
committed
Crypto: Changing fixed key size for the key gen operation for EC key gen to be none, and rely implicitly on the connected algorithm length. (+1 squashed commits) (+1 squashed commits)
bdrodes
committed
Update cpp/ql/lib/experimental/quantum/OpenSSL/Operations/ECKeyGenOperation.qll

bdrodes
and
Copilot
authored