REDMOND\brodes c3ed4549f4 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) ...

Squashed commits:

[b7cd7baa42] Crypto: Modeled EC key gen for openssl. (+1 squashed commits)

2025-05-20 10:39:21 -04:00

..

AlgorithmInstances

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)

2025-05-20 10:39:21 -04:00

AlgorithmValueConsumers

Switching to private imports.

2025-05-19 15:44:15 -04:00

Operations

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)

2025-05-20 10:39:21 -04:00

CtxFlow.qll

Rename "Quantum" to "quantum" in dir structure

2025-05-08 02:39:40 +02:00

LibraryDetector.qll

Format LibraryDetector.qll

2025-05-08 02:51:53 +02:00

OpenSSL.qll

Quantum/Crypto: Adding Random.qll for OpenSSL into the general imports for the OpenSSL.qll model.

2025-05-19 10:56:17 -04:00

Random.qll

Rename "Quantum" to "quantum" in dir structure

2025-05-08 02:39:40 +02:00