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

colt

29
Stars
3
Forks
Watchers

Convex Layerwise Adversarial Training (COLT)

verified publisher icon eth-sri

dl2

79
Stars
16
Forks
Watchers

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 lo...

verified publisher icon eth-sri

dp-finder

19
Stars
6
Forks
Watchers

Differential Privacy Testing System

verified publisher icon eth-sri

dp-sniper

22
Stars
5
Forks
Watchers

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

verified publisher icon eth-sri

EventRacer

17
Stars
7
Forks
Watchers

A race detection tool for event driven applications.

verified publisher icon eth-sri

fastsmt

73
Stars
15
Forks
Watchers

Learning to Solve SMT Formulas Fast

verified publisher icon eth-sri

fnf

16
Stars
2
Forks
Watchers

verified publisher icon eth-sri

lcifr

24
Stars
2
Forks
Watchers

Learning Certified Individually Fair Representations

verified publisher icon eth-sri

learch

37
Stars
5
Forks
Watchers

verified publisher icon eth-sri

Nice2Predict

202
Stars
52
Forks
Watchers

Learning framework for program property prediction

verified publisher icon eth-sri