search

cryspen / hacl-packages

The Cryspen HACL Distribution
https://cryspen.com/hacl-packages
Other
13 stars 18 forks source link

Verify AES Generic module #450

Closed mamonet closed 3 months ago

mamonet commented 5 months ago

Unify Core functions of NI and BitSlice modules in Hacl.Impl.AES.Core and utilize those core functions to implement high-level AES-CTR encryption/decryption functions

franziskuskiefer commented 4 months ago

Joint PR for this including AES-NI.

mamonet commented 3 months ago

Completed! https://github.com/hacl-star/hacl-star/pull/919