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

QML 0 0

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