SRI Lab, ETH Zurich

Repositories

• vscode-silq
  TypeScript 0 2 1 0 Updated Jun 18, 2020

• silq
  D BSL-1.0 9 137 1 0 Updated Jun 18, 2020

• eran

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

• eth-sri.github.io

  SRI Group Website
  HTML MIT 3 3 1 0 Updated Jun 15, 2020

• ELINA

  ELINA: ETH LIbrary for Numerical Analysis
  C 29 74 11 0 Updated Jun 13, 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

• soltix

  SOLTIX: Scalable automated framework for testing Solidity compilers.

  testing security ethereum solidity fuzzing smartcontracts
  Java Apache-2.0 7 23 0 3 Updated Jun 3, 2020

• UnuglifyJS

  Forked from mishoo/UglifyJS

  A simpler open-source version of JavaScript deobfuscator JSNice
  JavaScript 1,127 124 0 2 Updated May 21, 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

• psi

  Exact Inference Engine for Probabilistic Programs
  Mathematica BSL-1.0 12 89 1 1 Updated Apr 24, 2020

• dp-finder

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

• zkay-libsnark
  C++ 0 0 0 0 Updated Mar 27, 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

• zkay-jsnark
  0 0 0 0 Updated Feb 26, 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

• astarix

  AStarix: Fast and Optimal Sequence-to-Graph Aligner

  sequencing edit-distance shortest-paths graph-alignment
  C++ MPL-2.0 0 38 0 0 Updated Feb 10, 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

• securify

  [DEPRECATED] Security Scanner for Ethereum Smart Contracts

  security static-analysis ethereum datalog solidity obsolete evm
  Java Apache-2.0 39 167 30 0 Updated Jan 23, 2020

• ModelsPHOG

  Synthesized models for PHOG to make the results reproducible by the research community
  C++ Apache-2.0 4 8 4 1 Updated Jan 23, 2020

• UniversalCertificationTheory

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

• verx-benchmarks
  2 5 0 0 Updated Nov 11, 2019

• 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

• bayonet

  Probabilistic Computer Network Analysis
  D Apache-2.0 2 16 0 1 Updated Dec 8, 2018

• Nice2Predict

  Learning framework for program property prediction
  C++ Apache-2.0 38 149 5 4 Updated Dec 6, 2018

• fastsmt

  Learning to Solve SMT Formulas Fast
  SMT Apache-2.0 9 40 3 0 Updated Nov 30, 2018