Implement AES-CMAC on ARMv7 - #477

Merged

alex merged 16 commits into

mainfrom

claude/optimistic-mayer-jdgs35-arm

Oct 1, 2026

Commits on Oct 1, 2026

Implement AES-CMAC on x86-64, with an AES-NI variant
claude
committed
159a2c0
Merge remote-tracking branch 'origin/main' into claude/optimistic-mayer-jdgs35-x86-64
claude
committed
7719a3f
Implement AES-CMAC on AArch64, with an AES-extension variant
claude
committed
72b0dac
Test AES-CMAC in each CPU-feature configuration, and cover its key-length check
claude
committed
5fae204
Merge branch 'claude/optimistic-mayer-jdgs35-x86-64' into claude/optimistic-mayer-jdgs35-aarch64
claude
committed
5433fb5
Test AES-CMAC with the AES extension on the ARM64 runner
claude
committed
0d7fb4f
WIP: AES-CMAC on ARMv7: update proofs
claude
committed
7539fb5
WIP: AES-CMAC on ARMv7: subkeys
claude
committed
a502480
WIP: AES-CMAC on ARMv7: subkeys constant time
claude
committed
22a4ba4
WIP: AES-CMAC on ARMv7: finalize's last block
claude
committed
4e9b879
WIP: AES-CMAC on ARMv7: finalize
claude
committed
b175d26
WIP: AES-CMAC on ARMv7: Verified and registration
claude
committed
8edb600
Merge main into claude/optimistic-mayer-jdgs35-aarch64
claude
committed
ff36728
Merge branch 'claude/optimistic-mayer-jdgs35-aarch64' into claude/optimistic-mayer-jdgs35-arm
claude
committed
66a06df
Implement AES-CMAC on ARMv7
claude
committed
4ed76e7
Merge remote-tracking branch 'origin/main' into claude/optimistic-mayer-jdgs35-arm
claude
committed
70b46d1