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 ヶ月 前
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 ヶ月 前
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 年間 前