OVN
Vote network protocol implementation
A Verified implementation of the Open Vote Network protocol in Coq
Verified implementation of the Open Vote Network protocol
1 stars
2 watching
2 forks
Language: Coq
last commit: almost 2 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
| au-cobra/pos-nsb | A formalization of a blockchain protocol ensuring its growth and stability in the presence of corruption. | 25 |
 verse-lab/toychain | A minimalistic blockchain-based consensus protocol implemented in Coq | 111 |
 ethereum/cbc-casper | A Python implementation of a class of 'correct-by-construction' consensus protocols. | 229 |
 uwplse/verdi-raft | An implementation of the Raft distributed consensus protocol verified in Coq | 186 |
 openwsn-berkeley/coap | A CoAP client and server implementation for Python, aiming to standardize the Constrained Application Protocol. | 63 |
 oauth-xx/oauth2 | A Ruby wrapper for implementing OAuth 2.0 protocol interactions | 2,112 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 gluufederation/oxauth | An OAuth 2.0 and OpenID Connect implementation for authentication and authorization | 425 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 whonore/coqtail | Enables interactive proof development in Vim similar to other proof assistants. | 274 |
 huynhtrankhanh/coqcp | Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof | 22 |
 dnet/burp-oauth | A Java plugin for Burp Suite that enables OAuth authentication | 42 |
 opencomputeproject/mion | Provides a base layer for networking-related functionality | 8 |
| au-cobra/concert | A framework for verifying smart contracts in Coq using formal methods and property-based testing. | 114 |
 jeansfish/rfc6749.zh-cn | Translation of OAuth 2.0 authorization framework into simplified Chinese | 1,155 |