Last released Apr 11, 2019
hacspec is a new specification language for crypto primitives that is succinct, that is easy to read and implement, and that lends itself to formal verification.
Supported by
