SRI Lab, ETH Zurich

icon indicating a website link https://www.sri.inf.ethz.ch/

icon location Switzerland icon location Secure, Reliable, Intelligent Systems Lab, ETH Zurich

Results 40 repositories owned by SRI Lab, ETH Zurich

securify2

572
Stars
132
Forks
Watchers

Securify v2.0

verified publisher icon eth-sri

securify

216
Stars
50
Forks
Watchers

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

verified publisher icon eth-sri

diffai

217
Stars
26
Forks
Watchers

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

verified publisher icon eth-sri

debin

394
Stars
59
Forks
Watchers

Machine Learning to Deobfuscate Binaries

verified publisher icon eth-sri

ELINA

123
Stars
48
Forks
Watchers

ELINA: ETH LIbrary for Numerical Analysis

verified publisher icon eth-sri

eran

302
Stars
102
Forks
Watchers

ETH Robustness Analyzer for Deep Neural Networks

verified publisher icon eth-sri

ilf

145
Stars
32
Forks
Watchers

AI based fuzzer based on imitation learning

verified publisher icon eth-sri

astarix

72
Stars
7
Forks
Watchers

AStarix: Fast and Optimal Sequence-to-Graph Aligner

verified publisher icon eth-sri

adaptive-auto-attack

23
Stars
6
Forks
Watchers

verified publisher icon eth-sri

bayonet

18
Stars
4
Forks
Watchers

Probabilistic Computer Network Analysis

verified publisher icon eth-sri