extract and build Oracle SHA2

GaloisInc / hacrypto

Experiments in high-assurance crypto.

BSD 3-Clause "New" or "Revised" License

47 stars 14 forks source link

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.