Skip to content

Quantum: Support for BouncyCastle signature algorithms and block cipher modes #19568

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.

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

Open
wants to merge 27 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
43e5e40
Added initial support for BouncyCastle signers
fegge May 15, 2025
c588d11
Removed unused getIntermediateUse function
fegge May 15, 2025
e9c6c33
Multiple bug fixes in BouncyCastle signature model
fegge May 16, 2025
d8cdd3c
Added support for BouncyCastle key generation algorithms
fegge May 21, 2025
45416d2
Refactored algorithm instances
fegge May 23, 2025
9c602f8
Updated returned key sizes to be integers
fegge May 23, 2025
4aecf8b
Added stubs for BouncyCastle EdDSA signature algorithms and key gener…
fegge May 23, 2025
d7f1c70
Added unit tests for BouncyCastle EdDSA signatures and key generators
fegge May 23, 2025
fca90b3
Added support for BouncyCast ECDSA
fegge May 28, 2025
efd3266
Added signature input nodes to signature verify operation nodes
fegge May 29, 2025
b57bf9a
Updated signature operations test query
fegge May 30, 2025
4a34a5c
Created additional stubs for ECDSA
fegge Jun 2, 2025
f17bc7e
Added EllipticCurveConsumingAlgorithmInstance to Model.qll
fegge Jun 2, 2025
0406d5c
Added documentation for the isConsumedEllipticCurve workaround
fegge Jun 3, 2025
8b06c32
Added support for EllipticCurveConsumingAlgorithm
fegge Jun 3, 2025
653ef24
Added LMS and ML-DSA names to Model.qll
fegge Jun 3, 2025
eb89ee1
Updated BouncyCastle tests and corresponding stubs
fegge Jun 3, 2025
b64fdc0
Added BouncyCastle license file to stubs
fegge Jun 3, 2025
3840e93
Added support for HSS
fegge Jun 3, 2025
1a445b2
Fixed merge conflict resolution issues
fegge Jun 3, 2025
99b4cb1
Fixed QL for QL findings
fegge Jun 4, 2025
2eecda3
Removed duplicate condition in Model.qll
fegge Jun 4, 2025
192bb7f
Added support for block cipher modes
fegge Jun 6, 2025
f97be14
Fixed argument to block cipher mode method being tagged as input
fegge Jun 12, 2025
7969bdf
Added test cases for Bouncy Castle block cipher modes
fegge Jun 12, 2025
80a29f9
Fixed QL for QL findings
fegge Jun 12, 2025
1e5bb5f
Updated tests to pass with new key generation modeling
fegge Jun 16, 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
3 changes: 3 additions & 0 deletions java/ql/lib/experimental/quantum/BouncyCastle.qll
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
import BouncyCastle.OperationInstances
import BouncyCastle.AlgorithmInstances
import BouncyCastle.AlgorithmValueConsumers
Loading