The artifact for our USENIX Security paper

Последна модификация преди 1 седмица

A crate to automatically create protocols that use CMZ14 or µCMZ credentials, by specifying an extremely compact description of the protocol.

Последна модификация преди 4 седмици

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.

Последна модификация преди 4 седмици

Последна модификация преди 1 месец

Troll Patrol extension to Lox, forked from https://gitlab.torproject.org/onyinyang/lox/-/tree/lox-extension

Последна модификация преди 1 месец

Data analysis related to the Tor blocking events in Belarus from 2020-2021

Последна модификация преди 1 месец

A fork of https://github.com/openfheorg/openfhe-python to add some missing functionality

Последна модификация преди 6 месеца

A fork of https://github.com/fairmath/openfhe-rs to add some missing functionality

Последна модификация преди 6 месеца

Library and benchmark program for Arctic and Shine

Последна модификация преди 7 месеца

The implementation of TEEMS, a Trusted Execution Environment based Metadata-protected Messaging System

Последна модификация преди 10 месеца

Our dockerization of the https://github.com/ucsc-anonymity/sparta-experiments repository

Последна модификация преди 10 месеца

Simulation for Lox/Troll Patrol

Последна модификация преди 11 месеца

System for automatically detecting when Tor bridges have been blocked by censors

Последна модификация преди 11 месеца

Web-based network simulator for teaching hacking to high schoolers (fork of https://github.com/errorinn/netsim)

Последна модификация преди 1 година

Slides for netsim presentation for SPARCS

Последна модификация преди 1 година

System for automatically detecting when Tor bridges have been blocked by censors

Последна модификация преди 1 година

Scripts for modifying mnettools experiments to add simulated messenger traffic using MGen.

Последна модификация преди 1 година

A set of tools and instructions for running apps in Android emulators in a way that allows reading the encrypted plaintext of TLS connections.

Последна модификация преди 1 година

Extract data from the "Share and Multiply" dataset for use with MGen.

Последна модификация преди 1 година

A basic client library and CLI for Lox

Последна модификация преди 1 година