issues
search
GaloisInc
/
hacrypto
Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
46
stars
14
forks
source link
mirror VST-based verification of SHA2 in our repo
#30
Closed
kiniry
closed
10 years ago
kiniry
commented
10 years ago
Thanks to Andrew!
Thanks to Andrew!