10000 Quantum: OpenSSL signatures by GrosQuildu · Pull Request #19628 · github/codeql · GitHub
[go: up one dir, main page]
Skip to content

Quantum: OpenSSL signatures #19628

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 23 commits into from
Closed

Quantum: OpenSSL signatures #19628

Changes from 1 commit
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
0f874e4
Crypto: Adding initial openssl tests, fixing a bug in hash modeling f…
bdrodes May 22, 2025
10d8504
refactor EVP common classes
GrosQuildu May 23, 2025
8b96ec9
fix openssl outputs
GrosQuildu May 28, 2025
adb9c3b
Update cpp/ql/lib/experimental/quantum/OpenSSL/Operations/OpenSSLOper…
GrosQuildu May 29, 2025
408224a
Apply docs suggestions
GrosQuildu May 29, 2025
0c17cbf
rm one-shot class
GrosQuildu May 29, 2025
c3b384d
init work for openssl signatures
GrosQuildu May 28, 2025
c14fba5
openssl signatures - inputs, outputs and algorithms base
GrosQuildu May 29, 2025
b068833
start on openssl signature tests
GrosQuildu May 29, 2025
310469a
fix super/parent bug, use new SignatureOperationNode
GrosQuildu May 29, 2025
804bd89
flows for key from contexts
GrosQuildu May 29, 2025
02fb52c
make signature tests work for algorithms
GrosQuildu May 29, 2025
16c136e
openssl keygen & tracking of keys-contexts-algorithm 10000 s
GrosQuildu May 29, 2025
3672358
signature algorithms are tracked from keys and contexts
GrosQuildu May 30, 2025
54a3e5c
fix cipher tests after adding new stubs
GrosQuildu May 30, 2025
0178bf3
more tests
GrosQuildu May 30, 2025
e618097
signature and keygen tests - expected
GrosQuildu May 30, 2025
c6b2165
change model.qll - KeyArtifactNode getAKnownAlgorithm fix
GrosQuildu May 30, 2025
a70cd60
key sizes basic support
GrosQuildu May 30, 2025
9b87f1f
rm redundant predicate
GrosQuildu May 30, 2025
5dbaf1b
merge main
GrosQuildu Jun 4, 2025
ca67e45
Merge branch 'main' into openssl-signatures
GrosQuildu Jun 4, 2025
30bc605
fix formatting
GrosQuildu Jun 4, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Apply docs suggestions 
Co-authored-by: Ben Rodes <benjaminrodes@gmail.com>
  • Loading branch information
@GrosQuildu @bdrodes
GrosQuildu and bdrodes committed May 29, 2025
commit 408224aeb0e64c1796bf6d9d13f108487a2734f0
4 changes: 2 additions & 2 deletions cpp/ql/lib/experimental/quantum/OpenSSL/Operations/OpenSSLOperationBase.qll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ abstract class EVPInitialize extends Call {
}

/**
* Calls to update functions of EVP API.
* A Call to update functions from the EVP API.
* These are not operations in the sense of Crypto::OperationInstance,
* but they are used to update the context for the operation.
*/
Expand Down Expand Up @@ -92,7 +92,7 @@ private module AlgGetterToAlgConsumerConfig implements DataFlow::ConfigSig {
private module AlgGetterToAlgConsumerFlow = DataFlow::Global<AlgGetterToAlgConsumerConfig>;

/**
* Base class for all operations of the EVP API.
* The base class for all operations of the EVP API.
* Currently final calls and one-shot calls are implemented.
* Provides some default methods for Crypto::KeyOperationInstance class
*/
Expand Down
0