SRI Lab, ETH Zurich

Repositories

• eran

  ETH Robustness Analyzer for Deep Neural Networks
  Python Apache-2.0 66 194 5 1 Updated May 6, 2021

• ELINA

  ELINA: ETH LIbrary for Numerical Analysis
  C++ 36 87 11 0 Updated May 5, 2021

• eth-sri.github.io

  SRI Group Website
  HTML MIT 6 7 1 0 Updated May 5, 2021

• securify2

  Securify v2.0

  security static-analysis ethereum datalog solidity vulnerability smart-contract
  Python Apache-2.0 18 104 15 0 Updated May 3, 2021

• silq
  Q# BSL-1.0 42 488 4 0 Updated May 3, 2021

• vscode-silq
  TypeScript 4 9 5 0 Updated May 3, 2021

• probabilistic-forecasts-attacks
  Python Apache-2.0 7 17 0 2 Updated Apr 30, 2021

• 3dcertify

  3DCertify is the first verifier to certify robustness of point cloud models against semantic transformations and point perturbations
  Python Apache-2.0 0 6 0 0 Updated Apr 21, 2021

• Unqomp

  Automated Uncomputation for Quantum Programs
  Python MIT 0 0 0 0 Updated Apr 6, 2021

• robust-code

  Adversarial Robustness for Code
  Python Apache-2.0 1 4 0 1 Updated Mar 30, 2021

• dp-sniper

  A machine-learning-based tool for discovering differential privacy violations in black-box algorithms.

  machine-learning differential-privacy
  Python MIT 0 6 0 0 Updated Mar 25, 2021

• ChromeER

  Forked from ChromiumWebApps/chromium
  C++ 309 2 0 3 Updated Mar 23, 2021

• psi

  Exact Inference Engine for Probabilistic Programs
  MATLAB BSL-1.0 12 101 2 0 Updated Mar 22, 2021

• statdp
  Python MIT 0 0 0 0 Updated Mar 19, 2021

• ACE
  Python MIT 0 2 0 0 Updated Mar 11, 2021

• silq-webpage

  Source for https://www.silq.ethz.ch
  2 0 2 1 Updated Mar 8, 2021

• adaptive-auto-attack
  Python 1 1 0 0 Updated Feb 24, 2021

• inferui

  InferUI: Robust Relational Layouts Synthesis from Examples for Android
  C++ 0 1 0 0 Updated Feb 14, 2021

• guiding-synthesizers

  Guiding Program Synthesis by Learning to Generate Examples
  Python Apache-2.0 2 7 0 0 Updated Feb 13, 2021

• zkay-libsnark
  C++ 2 0 0 0 Updated Jan 27, 2021

• deepg

  Certifying Geometric Robustness of Neural Networks
  Python Apache-2.0 4 12 0 6 Updated Jan 23, 2021

• diffai

  A certifiable defense against adversarial examples by training neural networks to be provably robust

  attack neural-network pytorch robust defense abstract-interpretation
  Python MIT 19 177 0 3 Updated Jan 13, 2021

• colt

  Convex Layerwise Adversarial Training (COLT)
  Python Apache-2.0 3 21 1 5 Updated Jan 13, 2021

• dl2

  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
  Python MIT 8 54 0 3 Updated Jan 12, 2021

• soltix

  SOLTIX: Scalable automated framework for testing Solidity compilers.

  testing security ethereum solidity fuzzing smartcontracts
  Java Apache-2.0 7 25 0 9 Updated Dec 19, 2020

• transformation-smoothing

  Randomized Smoothing for Parametric (Image) Transformations
  C++ Apache-2.0 0 2 0 0 Updated Nov 28, 2020

• fastsmt

  Learning to Solve SMT Formulas Fast
  SMT Apache-2.0 11 53 4 2 Updated Nov 27, 2020

• lcifr

  Learning Certified Individually Fair Representations
  Python MIT 1 19 0 0 Updated Nov 7, 2020

• debin

  Machine Learning to Deobfuscate Binaries
  Python Apache-2.0 39 283 4 0 Updated Nov 6, 2020

• ilf

  AI based fuzzer based on imitation learning

  testing machine-learning smart-contracts blockchain symbolic-execution fuzzing imitation-learning
  Python Apache-2.0 11 57 3 0 Updated Oct 18, 2020