REDMOND\brodes
|
bbee2c9bdf
|
Crypto: Misc. refactoring and code clean up.
|
2025-05-21 15:06:46 -04:00 |
|
Ben Rodes
|
efd9386d6e
|
Update cpp/ql/lib/experimental/quantum/OpenSSL/Operations/ECKeyGenOperation.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-05-20 10:58:19 -04:00 |
|
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 |
|
Ben Rodes
|
55119cf770
|
Merge branch 'main' into openssl_elliptic_curve_algorithm_instances_and_consumers
|
2025-05-19 15:50:00 -04:00 |
|
REDMOND\brodes
|
4309499c36
|
Switching to private imports.
|
2025-05-19 15:44:15 -04:00 |
|
REDMOND\brodes
|
74271e4a17
|
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 new analogous digest operations.
|
2025-05-19 10:44:39 -04:00 |
|
REDMOND\brodes
|
97124745ad
|
Quantum/Crypto:Adding interemediate hashing to the openssl (e.g., modeling final and update digest separately).
|
2025-05-19 10:43:32 -04:00 |
|
REDMOND\brodes
|
34f5e4e0c8
|
Adding cipher update modeling (model flow through update to final)
|
2025-05-16 11:23:19 -04:00 |
|
Nicolas Will
|
1135fbe950
|
Fix EVP_Hash_Initializer typo
|
2025-05-08 02:58:43 +02:00 |
|
Nicolas Will
|
1d8a57e7da
|
Fix EVP Cipher class, predicate, and comment typos
|
2025-05-08 02:56:52 +02:00 |
|
Nicolas Will
|
7339dd0077
|
Rename "Quantum" to "quantum" in dir structure
|
2025-05-08 02:39:40 +02:00 |
|