glguy/ascon
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
22 Commits 1 Branch 0 Tags
5cde4a85e6859cee74d7a9a61349a69866bc8fc0
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Eric Mertens 5cde4a85e6 Comment fixup
2025-09-30 20:59:43 -07:00
ref-verification
Cleanups
2025-09-30 20:39:30 -07:00
Ascon.cry
Comment fixup
2025-09-30 20:59:43 -07:00
LICENSE
Add a license file
2025-09-05 22:37:07 -07:00
Makefile
Add saw proof for AEAD inversion
2025-09-07 10:41:52 -07:00
TestAsconAEAD128.cry
Update tests for AEAD change
2025-09-09 20:55:16 -07:00
TestAsconCXOF128.cry
Unify into a single implementation file
2025-09-04 18:30:47 -07:00
TestAsconHash256.cry
Unify into a single implementation file
2025-09-04 18:30:47 -07:00
TestAsconXOF128.cry
Unify into a single implementation file
2025-09-04 18:30:47 -07:00
verify.saw
Update tests for AEAD change
2025-09-09 20:55:16 -07:00
Description
No description provided
ISC 456 KiB
Languages
Makefile 100%