SRI Lab, ETH Zurich

eth-sri.github.io Public
SRI Group Website

HTML 7 MIT 6 1 0 Updated Jul 11, 2022
zkay Public
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

Python 38 MIT 10 0 4 Updated Jul 9, 2022
ChromeER Public

C++ 2 BSD-3-Clause 315 0 7 Updated Jul 7, 2022
debin Public
Machine Learning to Deobfuscate Binaries

Python 332 Apache-2.0 48 3 1 Updated Jun 22, 2022
probabilistic-forecasts-attacks Public

Python 26 Apache-2.0 10 1 4 Updated Jun 22, 2022
learning-real-bug-detector Public

Python 4 1 0 0 Updated Jun 16, 2022
eran Public
ETH Robustness Analyzer for Deep Neural Networks

Python 255 Apache-2.0 90 10 1 Updated May 30, 2022
dp-sniper Public
A machine-learning-based tool for discovering differential privacy violations in black-box algorithms.

Python 16 MIT 5 0 1 Updated May 26, 2022
deepg Public
Certifying Geometric Robustness of Neural Networks

Python 14 Apache-2.0 6 0 6 Updated May 26, 2022
ELINA Public
ELINA: ETH LIbrary for Numerical Analysis

C++ 106 45 13 0 Updated May 23, 2022

Popular repositories