Updated 1 year ago
Updated 1 year ago
Formal Verification of Anti-Cheating Protocols in Cryptoeconomic Systems
Updated 1 year ago
A playground simulator for https://crates.io/crates/fuzzytags designed to demonstrate the impact of integrating fuzzytags into an application with poor parameter choices (and aid in choosing good parameters).
Updated 1 year ago
Updated 1 year ago
metadata resistant message tagging for privacy preserving systems.
Updated 1 year ago
A library providing an ACN (Anonymous Communication Network) abstraction and a tor (for now) implementation.
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
this is the main cwtch gui with the pretty interface
Updated 1 year ago
Open Privacy's Awesome Qt-based User Experience Library
Updated 1 year ago
The server component to the Lockbox app.
Updated 1 year ago
resolve git conflicts
Updated 2 years ago
Listing of docker images available in the Open Privacy Docker registry
Updated 2 years ago
A fork of cretz/bine
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
A simple tool to apply a fixed format to our QML files (since we don't use QT Creator we don't get it's autostyling)
Updated 2 years ago
Updated 2 years ago