glguy/ascon
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
ascon/ref-verification
History
Eric Mertens 8732e75271 Cleanups
2025-09-30 20:39:30 -07:00
..
aead.saw
Cleanups
2025-09-30 20:39:30 -07:00
common.saw
Add decryption spec to saw script
2025-09-20 11:16:37 -07:00
hash.saw
Cleanups
2025-09-30 20:39:30 -07:00
README.md
Add reference implementation verification scripts
2025-09-19 21:11:41 -07:00

README.md

Reference Implementation verification

Verification scripts for reference implementations in https://github.com/ascon/ascon-c/tree/main