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

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

QML 0 0

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