search

cryspen / hacl-packages

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

Verify AES CoreBitSlice module #449

Open mamonet opened 5 months ago

mamonet commented 5 months ago

Verifying the part of AES code that uses BitSlice technique for AES encryption phases and keygen functions