SRI Lab, ETH Zurich

Repositories

• eran

  ETH Robustness Analyzer for Deep Neural Networks
  Python Apache-2.0 42 135 7 0 Updated Jun 18, 2020

• probabilistic-forecasts-attacks
  Python Apache-2.0 1 3 0 0 Updated Jun 13, 2020

• colt

  Convex Layerwise Adversarial Training (COLT)
  Python Apache-2.0 2 9 0 1 Updated Jun 12, 2020

• deepg

  Certifying Geometric Robustness of Neural Networks
  Python Apache-2.0 2 8 0 1 Updated May 18, 2020

• securify2

  Securify v2.0

  security static-analysis ethereum datalog solidity vulnerability smart-contract
  Python Apache-2.0 6 47 8 0 Updated May 18, 2020

• dp-finder

  Differential Privacy Testing System
  Python 6 11 1 0 Updated Apr 24, 2020

• 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 16 160 0 0 Updated Mar 7, 2020

• lcifr

  Learning Certified Individually Fair Representations
  Python MIT 1 12 1 0 Updated Feb 25, 2020

• 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 7 36 0 0 Updated Feb 24, 2020

• guiding-synthesizers

  Guiding Program Synthesis by Learning to Generate Examples
  Python Apache-2.0 2 2 0 0 Updated Feb 24, 2020

• ilf

  AI based fuzzer based on imitation learning

  testing machine-learning smart-contracts blockchain symbolic-execution fuzzing imitation-learning
  Python Apache-2.0 6 42 0 0 Updated Feb 6, 2020

• UniversalCertificationTheory

  Universal Approximation with Certified Networks
  Python MIT 0 9 0 0 Updated Jan 14, 2020

• debin

  Machine Learning to Deobfuscate Binaries
  Python Apache-2.0 27 220 3 0 Updated Oct 16, 2019

• zkay

  Specifying and Enforcing Data Privacy in Smart Contracts
  Python MIT 3 7 0 0 Updated Sep 20, 2019