Updated 5 months ago
Updated 8 months ago
Formal Verification of Anti-Cheating Protocols in Cryptoeconomic Systems
Updated 8 months 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 8 months ago
Updated 9 months ago
metadata resistant message tagging for privacy preserving systems.
Updated 9 months ago
A library providing an ACN (Anonymous Communication Network) abstraction and a tor (for now) implementation.
Updated 9 months ago
Updated 9 months ago
Updated 9 months ago
this is the main cwtch gui with the pretty interface
Updated 10 months ago
Open Privacy's Awesome Qt-based User Experience Library
Updated 10 months ago
The server component to the Lockbox app.
Updated 10 months ago
resolve git conflicts
Updated 11 months ago
Listing of docker images available in the Open Privacy Docker registry
Updated 11 months ago
A fork of cretz/bine
Updated 11 months ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year 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 1 year ago
Updated 1 year ago