SRI Lab, ETH Zurich

Repositories

eth-sri.github.io

SRI Group Website

HTML MIT 3 3 1 0 Updated Aug 10, 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 43 137 5 0 Updated Jul 28, 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 10, 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 14 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 9 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 24, 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 32 226 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 8, 2018