All Git Users → eth-sri

16 open source projects by eth-sri

[ Open user page on Github ]

ETH Robustness Analyzer for Deep Neural Networks

✭ 179

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

✭ 177

java solidity security ethereum static-analysis obsolete evm

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

✭ 171

python pytorch neural-network attack robust

4. Nice2predict

Learning framework for program property prediction

✭ 164

Exact Inference Engine for Probabilistic Programs

✭ 97

Securify v2.0

✭ 92

python solidity security ethereum static-analysis vulnerability

ELINA: ETH LIbrary for Numerical Analysis

✭ 84

Machine Learning to Deobfuscate Binaries

✭ 276

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

✭ 28

python ANTLR privacy compiler ethereum blockchain zero-knowledge-proofs

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.

✭ 69

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

✭ 16

python machine-learning differential-privacy

AStarix: Fast and Optimal Sequence-to-Graph Aligner

✭ 60

C++Jupyter Notebook python Makefile CMake c sequencing edit-distance shortest-paths graph-alignment

Learning to Solve SMT Formulas Fast

✭ 64

SMT python shell

SOLTIX: Scalable automated framework for testing Solidity compilers.

✭ 30

java shell testing security ethereum fuzzing smartcontracts

No description, website, or topics provided.

✭ 54

javascript python

No description, website, or topics provided.

✭ 575

1-16 of 16 user projects