A crate to automatically create protocols that use CMZ14 or µCMZ credentials, by specifying an extremely compact description of the protocol.
Оновлено 18 годин тому
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.
Оновлено 18 годин тому
Оновлено 3 місяців тому
A fork of https://github.com/openfheorg/openfhe-python to add some missing functionality
Оновлено 3 місяців тому
A fork of https://github.com/fairmath/openfhe-rs to add some missing functionality
Оновлено 3 місяців тому
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)
Оновлено 10 місяців тому
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 рік тому
Оновлено 1 рік тому