Skip to content
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

Jump to bottom

Genericize key wrap modes of operation #81

Closed
marsella opened this issue Jun 25, 2024 · 0 comments · Fixed by #85
Closed

Genericize key wrap modes of operation #81

marsella opened this issue Jun 25, 2024 · 0 comments · Fixed by #85

Comments

@marsella
Copy link
Contributor

marsella commented Jun 25, 2024 •
edited
Loading

Currently the key wrap modes of operation are implemented only for AES256. However, the RFC supports all standardized AES key sizes. We should update the cryptol spec to be generic over any AES key size and instantiate it for the sizes we care about.

An example of implementing a protocol that's generic over key size can be found in AES_GCM_SIV.cry, as updated in #79.
This was referenced Jun 25, 2024
Merged
Open
marsella added a commit that referenced this issue Jul 3, 2024
@marsella
keywrap: add key size parameter to mode #81
b75846e 
Also rearranges module structure to match new changes, separating mode
definition from instantiation with a specific cipher from tests.
marsella added a commit that referenced this issue Jul 3, 2024
@marsella
keywrap: add key size parameter to padded mode #81
3ccc139 
Also rearranges a bit.
@marsella marsella mentioned this issue Jul 3, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add parameterization to key wrap modes GaloisInc/cryptol-specs
1 participant
@marsella