AU-COBRA/AUCurves AU-COBRA/AUCurves

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language Coq
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AU-COBRA/AUCurves
github

AU-COBRA

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Synthesis of Formally Verified Cryptographic Primitives

More Repositories

1

ConCert

A framework for smart contract verification in Coq
Coq
112
star
2

PoS-NSB

A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
Coq
20
star
3

coq-rust-extraction

Coq plugin for extracting Rust code
Coq
4
star
4

typed-extraction

Verified coq extraction
Coq
2
star
5

concordium-extracted-contracts

Rust contracts for the Concordium blockchain extracted from the Coq development in ConCert
Rust
2
star
6

coq-elm-extraction

Coq plugin for extracting Elm code
Coq
2
star
7

extraction-results

A repository containing code extracted using ConCert
Rust
1
star
8

OVN

Verified implementation of the Open Vote Network protocol
Coq
1
star