search

GaloisInc / hacrypto

Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
46 stars 14 forks source link

extract and build commercial partner SHA2 #12

Open kiniry opened 10 years ago

kiniry commented 10 years ago

For our first milestone, we are not attempting necessarily to build entire libraries, but only focus on the minimal dependent slice to cover SHA2.