Stars
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security