Crate for automatically generating code for sigma zero-knowledge proof protocols of more complex statements than are supported by the sigma-proofs crate. The statements given to this crate are compiled into statements about linear combinations of points, and transformed into the sigma-proofs API.
Updated 7 hours ago
A crate to automatically create protocols that use CMZ14 or µCMZ credentials, by specifying an extremely compact description of the protocol.
Updated 7 hours ago
Updated 1 week ago
The implementation of TEEMS, a Trusted Execution Environment based Metadata-protected Messaging System
Updated 4 months ago
Our dockerization of the https://github.com/ucsc-anonymity/sparta-experiments repository
Updated 4 months ago
System for automatically detecting when Tor bridges have been blocked by censors
Updated 4 months ago
Web-based network simulator for teaching hacking to high schoolers (fork of https://github.com/errorinn/netsim)
Updated 6 months ago
System for automatically detecting when Tor bridges have been blocked by censors
Updated 11 months ago
Scripts for modifying mnettools experiments to add simulated messenger traffic using MGen.
Updated 1 year ago
A set of tools and instructions for running apps in Android emulators in a way that allows reading the encrypted plaintext of TLS connections.
Updated 1 year ago
Extract data from the "Share and Multiply" dataset for use with MGen.
Updated 1 year ago
A fork of https://github.com/openfheorg/openfhe-python to add some missing functionality
Updated 1 year ago
A fork of https://github.com/fairmath/openfhe-rs to add some missing functionality
Updated 1 year ago
Run by the Assistant Vice Speaker Rotator to manage speakers at the CrySP weekly meetings.
Updated 1 year ago
Updated 1 year ago