A crate to automatically create protocols that use CMZ14 or µCMZ credentials, by specifying an extremely compact description of the protocol.
Последна модификация преди 3 дни
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.
Последна модификация преди 5 дни
Последна модификация преди 3 месеца
A fork of https://github.com/openfheorg/openfhe-python to add some missing functionality
Последна модификация преди 4 месеца
A fork of https://github.com/fairmath/openfhe-rs to add some missing functionality
Последна модификация преди 4 месеца
Library and benchmark program for Arctic and Shine
Последна модификация преди 4 месеца
The implementation of TEEMS, a Trusted Execution Environment based Metadata-protected Messaging System
Последна модификация преди 8 месеца
Our dockerization of the https://github.com/ucsc-anonymity/sparta-experiments repository
Последна модификация преди 8 месеца
System for automatically detecting when Tor bridges have been blocked by censors
Последна модификация преди 8 месеца
Web-based network simulator for teaching hacking to high schoolers (fork of https://github.com/errorinn/netsim)
Последна модификация преди 11 месеца
Slides for netsim presentation for SPARCS
Последна модификация преди 11 месеца
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 година
Run by the Assistant Vice Speaker Rotator to manage speakers at the CrySP weekly meetings.
Последна модификация преди 1 година
Tools for generating realistic messenger network traffic.
Последна модификация преди 1 година
Последна модификация преди 1 година