/hacspec

A specification language for cryptography primitives.

Primary LanguageRustMIT LicenseMIT

Watchers