OVN
by AU-COBRA
Verified implementation of the Open Vote Network protocol
AI summary
Vote network protocol implementation
A Verified implementation of the Open Vote Network protocol in Coq
- stars
- 1
- forks
- 2
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Blockchain protocol guarantor
A formalization of a blockchain protocol ensuring its growth and stability in the presence of corruption.
Consensus protocol
A minimalistic blockchain-based consensus protocol implemented in Coq
Consensus protocol library
A Python implementation of a class of 'correct-by-construction' consensus protocols.
Distributed Consensus Protocol
An implementation of the Raft distributed consensus protocol verified in Coq
CoAP client/server library
A CoAP client and server implementation for Python, aiming to standardize the Constrained Application Protocol.
oauth-xx/oauth22.1K
OAuth client library
A Ruby wrapper for implementing OAuth 2.0 protocol interactions
Proof assistant library
Python bindings for Coq's interactive proof assistant
Auth server
An OAuth 2.0 and OpenID Connect implementation for authentication and authorization
Web server
A Coq-based web server written in a functional programming language
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
OAuth plugin
A Java plugin for Burp Suite that enables OAuth authentication
networking backbone
Provides a base layer for networking-related functionality
Smart contract verifier
A framework for verifying smart contracts in Coq using formal methods and property-based testing.
OAuth specification
Translation of OAuth 2.0 authorization framework into simplified Chinese
