GitHub repository: AU-COBRA/AUCurves
Primary language: Coq
Created: 2021-07-14T14:53:36Z
Description: Synthesis of Formally Verified Cryptographic Primitives