Skip to content

Make SecretKeySpec accept randomized key material #289

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

Merged
swissiety merged 5 commits into from
Apr 8, 2026
Merged

Make SecretKeySpec accept randomized key material #289

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
db186ff
Make SecretKeySpec accept randomized key material
jmpersch Apr 2, 2026
1b9898b
Merge branch 'master' into secretkeyspec-randomized
swissiety Apr 2, 2026
46e7a79
Merge branch 'master' into secretkeyspec-randomized
swissiety Apr 7, 2026
0311f4e
Merge branch 'master' into secretkeyspec-randomized
swissiety Apr 8, 2026
a8e8918
Merge branch 'master' into secretkeyspec-randomized
swissiety Apr 8, 2026
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
4 changes: 2 additions & 2 deletions BouncyCastle-JCA/src/SecretKeySpec.crysl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,9 @@ CONSTRAINTS
neverTypeOf[keyMaterial, java.lang.String];

REQUIRES
preparedKeyMaterial[keyMaterial];
preparedKeyMaterial[keyMaterial] || randomized[keyMaterial];

ENSURES
speccedKey[this, _];
generatedKey[this, keyAlgorithm];


2 changes: 1 addition & 1 deletion JavaCryptographicArchitecture/src/SecretKeySpec.crysl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ CONSTRAINTS
neverTypeOf[keyMaterial, java.lang.String];

REQUIRES
preparedKeyMaterial[keyMaterial];
preparedKeyMaterial[keyMaterial] || randomized[keyMaterial];

ENSURES
speccedKey[this, _];
Expand Down
Loading