Verify AES CoreNI module
Closed this issue · 1 comments
mamonet commented
Verifying the part of AES code that utilizes AES intrinsics (currently supported for x86 and ARM). Proofs are supposed to meet the corresponding procedures in Spec.AES module.
Progress regarding this issue is made in this branch https://github.com/mamonet/hacl-star/tree/aes_ctr32
mamonet commented
This issue is completed.