SRI Lab, ETH Zurich (@eth-sri)

Top repositories

1

lmql

A language for constraint-guided and efficient LLM programming.
Python
3,236
star
2

silq

Q#
606
star
3

securify2

Securify v2.0
Solidity
568
star
4

debin

Machine Learning to Deobfuscate Binaries
Python
399
star
5

eran

ETH Robustness Analyzer for Deep Neural Networks
Python
305
star
6

securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Java
216
star
7

diffai

A certifiable defense against adversarial examples by training neural networks to be provably robust
Python
216
star
8

Nice2Predict

Learning framework for program property prediction
C++
201
star
9

language-model-arithmetic

Controlled Text Generation via Language Model Arithmetic
Python
154
star
10

ilf

AI based fuzzer based on imitation learning
Python
144
star
11

ELINA

ELINA: ETH LIbrary for Numerical Analysis
C++
126
star
12

psi

Exact Inference Engine for Probabilistic Programs
JetBrains MPS
123
star
13

zkay

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

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
79
star
15

astarix

AStarix: Fast and Optimal Sequence-to-Graph Aligner
C++
67
star
16

fastsmt

Learning to Solve SMT Formulas Fast
SMT
63
star
17

TFix

JavaScript
63
star
18

sven

Python
58
star
19

learch

C++
38
star
20

soltix

SOLTIX: Scalable automated framework for testing Solidity compilers.
Java
33
star
21

colt

Convex Layerwise Adversarial Training (COLT)
Python
29
star
22

probabilistic-forecasts-attacks

Python
29
star
23

ChatProtect

This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".
Python
26
star
24

lcifr

Learning Certified Individually Fair Representations
Python
24
star
25

adaptive-auto-attack

Python
23
star
26

dp-sniper

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

verx-benchmarks

19
star
28

dp-finder

Differential Privacy Testing System
Python
19
star
29

lamp

LAMP: Extracting Text from Gradients with Language Model Priors (NeurIPS '22)
Python
19
star
30

bayonet

Probabilistic Computer Network Analysis
D
18
star
31

phoenix

Private and Reliable Neural Network Inference (CCS '22)
C++
17
star
32

llmprivacy

Python
17
star
33

fnf

Python
16
star
34

EventRacer

A race detection tool for event driven applications.
C++
16
star
35

learning-real-bug-detector

Python
16
star
36

lassi

Latent Space Smoothing for Individually Fair Representations (ECCV 2022)
Python
15
star
37

deepg

Certifying Geometric Robustness of Neural Networks
Python
15
star
38

vscode-silq

TypeScript
15
star
39

zapper

Rust
15
star
40

robust-code

Adversarial Robustness for Code
Python
13
star
41

guiding-synthesizers

Guiding Program Synthesis by Learning to Generate Examples
Python
12
star
42

learning-to-configure-networks

[NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning
12
star
43

SABR

Python
10
star
44

UniversalCertificationTheory

Universal Approximation with Certified Networks
Python
10
star
45

bayes-framework-leakage

Python
10
star
46

smoothing-ensembles

[ICLR 2022] Boosting Randomized Smoothing with Variance Reduced Classifiers
Python
10
star
47

ModelsPHOG

Synthesized models for PHOG to make the results reproducible by the research community
C++
9
star
48

segmentation-smoothing

Provable robustness for segmentation tasks.
9
star
49

eth-sri.github.io

SRI Group Website
HTML
8
star
50

3dcertify

3DCertify is the first verifier to certify robustness of point cloud models against semantic transformations and point perturbations
Python
8
star
51

ACE

Python
8
star
52

proof-sharing

CAV'22 paper to speed up Neural Network Verification.
Python
7
star
53

prover

Verifier for Deep Neural Network Audio Processing
Python
6
star
54

DFENCE

Dynamic Analysis and Synthesis System for Relaxed Memory Models
C++
6
star
55

R4

C++
5
star
56

mn-bab

[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Python
5
star
57

automated-error-analysis

Automated Classification of Model Errors on ImageNet (NeurIPS 2023)
Jupyter Notebook
5
star
58

SafeCoder

5
star
59

paradox

On the Paradox of Certified Training (TMLR 10/2022)
Python
4
star
60

Delta-Siege

Python
4
star
61

Unqomp

Automated Uncomputation for Quantum Programs
Python
4
star
62

fairness-feedback-nlp

Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)
Python
4
star
63

Spire

C#
3
star
64

drs

[NeurIPS 2022] (De-)Randomized Smoothing for Decision Stump Ensembles
Terra
3
star
65

inferui

InferUI: Robust Relational Layouts Synthesis from Examples for Android
C++
3
star
66

fare

FARE: Provably Fair Representation Learning with Practical Certificates (ICML '23)
Shell
3
star
67

transformation-smoothing

Randomized Smoothing for Parametric (Image) Transformations
Python
3
star
68

TAPS

Python
2
star
69

DeepT

Python
2
star
70

ncm

Trace Based Supervision for Neural Architectures
2
star
71

abstraqt

OpenQASM
2
star
72

ACES

[SRML@ICLR 2022] Robust and Accurate -- Compositional Architectures for Randomized Smoothing
Python
2
star
73

malicious-contamination

Python
2
star
74

synthetiq

OpenQASM
1
star
75

CRAFT

Python
1
star
76

watermark-stealing-website

The website for "Watermark Stealing in Large Language Models".
HTML
1
star
77

fedavg_leakage

Python
1
star
78

Reqomp

Python
1
star
79

tableak

TabLeak: Tabular Data Leakage in Federated Learning
1
star
80

watermark-stealing

Watermark Stealing in Large Language Models
1
star