libkeccak
libkeccak copied to clipboard
Published
2 years ago
•
damaki
damaki
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Results
1
libkeccak issues
Sort by
recently updated
recently updated
newest added
Libkeccak has grown to be a fairly large library with several cryptographic constructions, and the relationships between the modules are not immediately obvious without knowledge of the underlying cryptography. Documentation...
enhancement