SRI Lab, ETH Zurich

Repositories

• eth-sri.github.io

  SRI Group Website
  HTML MIT 3 3 1 0 Updated Aug 12, 2020

• ELINA

  ELINA: ETH LIbrary for Numerical Analysis
  C 30 76 11 0 Updated Aug 4, 2020

• silq
  D BSL-1.0 26 355 2 1 Updated Aug 1, 2020

• eran

  ETH Robustness Analyzer for Deep Neural Networks
  Python Apache-2.0 46 138 5 0 Updated Jul 27, 2020

• securify2

  Securify v2.0

  security static-analysis ethereum datalog solidity vulnerability smart-contract
  Python Apache-2.0 6 56 9 0 Updated Jul 17, 2020

• probabilistic-forecasts-attacks
  Python Apache-2.0 1 4 0 0 Updated Jul 14, 2020

• fastsmt

  Learning to Solve SMT Formulas Fast
  SMT Apache-2.0 9 40 4 0 Updated Jul 10, 2020

• soltix

  SOLTIX: Scalable automated framework for testing Solidity compilers.

  testing security ethereum solidity fuzzing smartcontracts
  Java Apache-2.0 7 25 0 4 Updated Jul 10, 2020

• vscode-silq
  TypeScript 2 5 4 0 Updated Jul 9, 2020

• robust-code
  0 0 0 0 Updated Jun 30, 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 161 0 1 Updated Jun 27, 2020

• colt

  Convex Layerwise Adversarial Training (COLT)
  Python Apache-2.0 2 15 0 2 Updated Jun 27, 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 38 0 1 Updated Jun 26, 2020

• psi

  Exact Inference Engine for Probabilistic Programs
  Mathematica BSL-1.0 12 90 1 1 Updated Jun 22, 2020

• UnuglifyJS

  Forked from mishoo/UglifyJS

  A simpler open-source version of JavaScript deobfuscator JSNice
  JavaScript 1,139 129 0 2 Updated May 21, 2020

• deepg

  Certifying Geometric Robustness of Neural Networks
  Python Apache-2.0 2 11 0 1 Updated May 18, 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

• zkay-jsnark
  0 0 0 0 Updated Feb 26, 2020

• lcifr

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

• guiding-synthesizers

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

• astarix

  AStarix: Fast and Optimal Sequence-to-Graph Aligner

  sequencing edit-distance shortest-paths graph-alignment
  C++ MPL-2.0 1 41 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 45 1 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 6 0 0 Updated Nov 11, 2019

• debin

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

• zkay

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

• bayonet

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