Hacspec

Latest version: v0.0.1.dev3

The latest version of hacspec with no known security vulnerabilities is 0.0.1.dev3. We recommend installing version 0.0.1.dev3.

The information on this page was curated by experts in our Cybersecurity Intelligence Team.

Latest release: v0.0.1.dev3 at April 11, 2019
License: MIT (MIT License)

Description

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.

Resources

GitHub
PyPi

Vulnerabilities

See all vulnerabilities

No known vulnerabilities found

Versions (3)

See all versions

Has known vulnerabilities

0.0.1.dev3
0.0.1.dev2
0.0.1.dev1