Pinned Loading
-
nsg-ethz/netdice
nsg-ethz/netdice PublicA scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
-
-
eth-sri/dp-sniper
eth-sri/dp-sniper PublicA machine-learning-based tool for discovering differential privacy violations in black-box algorithms.
-
eth-sri/zkay
eth-sri/zkay PublicA programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.