SHA-3 and other Keccak related algorithms in SPARK/Ada.

Ada31bsd-3-clause

7 months ago

adaasconcshake

eXtended Keccak Code Package

C544other

4 months ago

An implementation of Keccak derived functions specified in FIPS-202, SP800-185 a

Rust185cc0-1.0

2 years ago

cryptographycshakefips-202