Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add proofs for top-level EVP function of HMAC #137

Open
pennyannn opened this issue Dec 20, 2023 · 0 comments
Open

Add proofs for top-level EVP function of HMAC #137

pennyannn opened this issue Dec 20, 2023 · 0 comments

Comments

@pennyannn
Copy link
Contributor

AWS-LC PR1324 adds support for EVP_PKEY_HMAC. Currently proofs for HMAC only covers up to functions HMAC_Init_ex, HMAC_Update, HMAC_Final and etc. We need to extend the proofs to cover the top-level EVP functions.
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pennyannn