sha3

Project information

EasyCrypt proofs of: i) indifferentiability from a random oracle and security for the SHA-3 hash functions in the random permutation model; and ii) correctness and leakage-freeness for optimized Jasmin implementations of SHA-3 and SHAKE.

565 Commits
2 Branches
0 Tags

README

Created on

February 24, 2018

Loading