bshvass

bshvass's Stars

• AU-COBRA/AUCurves

  Synthesis of Formally Verified Cryptographic Primitives

  Language:Coq7401

• bshvass/hacspec

  A specification language for cryptography primitives.

  Language:Rust1000