REDMOND\brodes
|
23b6c78a23
|
Crypto: Revert CODEOWNERS change and remove redundant cast.
|
2025-06-02 13:07:31 -04:00 |
|
REDMOND\brodes
|
cf015d18f1
|
Crypto: Add openssl key agreement instances and consumers (KEM and KEY_EXCH). Fix for raw algorithm names in all current instances. Update constants to include key agreement algorithms, previously missing. Note added in model for the possibility of ESDH.
|
2025-05-30 11:29:34 -04:00 |
|
REDMOND\brodes
|
007683f06a
|
Crypto: Simplifying constant comparisons.
|
2025-05-22 14:06:13 -04:00 |
|
REDMOND\brodes
|
28f48246fc
|
Crypto: Adding signature constant support, and fixing key exchange and signature mapping for ED and X elliptic curve variants.
|
2025-05-22 13:13:35 -04:00 |
|
REDMOND\brodes
|
570fdeb254
|
Crypto: Code Cleanup (+1 squashed commits)
Squashed commits:
[417734cc3c] Crypto: Fixing typo (+1 squashed commits)
Squashed commits:
[1ac3d5c7d4] Crypto: Fixing typo caused by AI auto complete.
|
2025-05-22 10:52:19 -04:00 |
|
REDMOND\brodes
|
a5b57d3694
|
Merge branch 'main' into generic_constant_filtering
# Conflicts:
# cpp/ql/lib/experimental/quantum/Language.qll
# cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/KnownAlgorithmConstants.qll
# cpp/ql/lib/experimental/quantum/OpenSSL/OpenSSL.qll
|
2025-05-22 10:37:10 -04:00 |
|
REDMOND\brodes
|
09170e598c
|
Crypto: Making generic literal filter more explicit that it is for filtering all constants, not just for algorithms.
|
2025-05-22 10:31:58 -04:00 |
|
REDMOND\brodes
|
100045d4cb
|
Crypto: optimizing out the "getPossibleNidFromLiteral" predicate, and now relying on the charpred of OpenSSLAlgorithmCandidateLiteral.
|
2025-05-21 18:25:29 -04:00 |
|
REDMOND\brodes
|
a36fd2cb31
|
Crypto: Advanced literal filtering for OpenSSL, used for both unknown and known algorithm literals to improve dataflow performance.
|
2025-05-21 18:15:44 -04:00 |
|
REDMOND\brodes
|
d75fc2e8ec
|
Crypto: Further code cleanup
|
2025-05-21 15:25:04 -04:00 |
|
REDMOND\brodes
|
bbee2c9bdf
|
Crypto: Misc. refactoring and code clean up.
|
2025-05-21 15:06:46 -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 |
|
REDMOND\brodes
|
b56472436e
|
Crypto: Alterations to OpenSSL cipher algorithms to use new fixed keysize predicate.
|
2025-05-20 10:36:56 -04:00 |
|
REDMOND\brodes
|
4309499c36
|
Switching to private imports.
|
2025-05-19 15:44:15 -04:00 |
|
REDMOND\brodes
|
03a6e134ba
|
Crypto: Removed dead comment.
|
2025-05-19 13:51:42 -04:00 |
|
REDMOND\brodes
|
e5641eff23
|
Crypto: Typo fix
|
2025-05-19 13:50:41 -04:00 |
|
REDMOND\brodes
|
d05d38f00c
|
Crypto: Removing unused class field.
|
2025-05-19 13:48:15 -04:00 |
|
REDMOND\brodes
|
bbbdf89e46
|
Crypto: OpenSSL ellipitic curve algorithm instances and consumers.
|
2025-05-19 13:10:11 -04:00 |
|
Nicolas Will
|
7339dd0077
|
Rename "Quantum" to "quantum" in dir structure
|
2025-05-08 02:39:40 +02:00 |
|