Cryptol specification of the SipHash function
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
README.md
siphash-tests.cry
siphash.cry

README.md