search

GaloisInc / hacrypto

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

language-neutral API design #5

Open kiniry opened 10 years ago

kiniry commented 10 years ago

Write an API design in EBON to reify core crypto domain model elements. This API will be refined to C and Java initially. First order behavioral specifications must be included.