Explore @eth-sri Open Source projects

SRI Lab, ETH Zurich (@eth-sri)

eth-sri

Stars
5,494
Global Org. Rank 4,102 (Top 2 %)
Registered over 10 years ago
Most used languages

Python
62.5 %

C++
13.9 %

Java
2.8 %

OpenQASM 2.8 %

Shell
1.4 %

C#
1.4 %

JetBrains MPS 1.4 %

Rust
1.4 %

Solidity
1.4 %

Terra 1.4 %

D
1.4 %

HTML
1.4 %

Q# 1.4 %

TypeScript
1.4 %

JavaScript
1.4 %

Jupyter Notebook
1.4 %

SMT 1.4 %
Location 🇨🇭 Switzerland
Country Total Rank 67
Country Ranking

JetBrains MPS 1

OpenQASM 1

Q# 1

Terra 1

SMT 2

Solidity
2

D
3

Python
11

Java
60

C++
70

Rust
145

HTML
367

JavaScript
368

TypeScript
389

C#
584

Jupyter Notebook
629

Shell
860

lmql

A language for constraint-guided and efficient LLM programming.

silq

securify2

debin

Machine Learning to Deobfuscate Binaries

eran

ETH Robustness Analyzer for Deep Neural Networks

securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

diffai

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

Nice2Predict

Learning framework for program property prediction

language-model-arithmetic

Controlled Text Generation via Language Model Arithmetic

ilf

AI based fuzzer based on imitation learning

ELINA

ELINA: ETH LIbrary for Numerical Analysis

psi

Exact Inference Engine for Probabilistic Programs

zkay

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

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.

astarix

AStarix: Fast and Optimal Sequence-to-Graph Aligner

fastsmt

Learning to Solve SMT Formulas Fast

TFix

sven

learch

soltix

SOLTIX: Scalable automated framework for testing Solidity compilers.

probabilistic-forecasts-attacks

colt

Convex Layerwise Adversarial Training (COLT)

ChatProtect

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

lcifr

Learning Certified Individually Fair Representations

adaptive-auto-attack

dp-sniper

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

verx-benchmarks

dp-finder

Differential Privacy Testing System

lamp

LAMP: Extracting Text from Gradients with Language Model Priors (NeurIPS '22)

bayonet

Probabilistic Computer Network Analysis

phoenix

Private and Reliable Neural Network Inference (CCS '22)

llmprivacy

fnf

EventRacer

A race detection tool for event driven applications.

learning-real-bug-detector

lassi

Latent Space Smoothing for Individually Fair Representations (ECCV 2022)

deepg

Certifying Geometric Robustness of Neural Networks

vscode-silq

zapper

robust-code

Adversarial Robustness for Code

guiding-synthesizers

Guiding Program Synthesis by Learning to Generate Examples

learning-to-configure-networks

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

SABR

UniversalCertificationTheory

Universal Approximation with Certified Networks

bayes-framework-leakage

smoothing-ensembles

[ICLR 2022] Boosting Randomized Smoothing with Variance Reduced Classifiers

ModelsPHOG

Synthesized models for PHOG to make the results reproducible by the research community

segmentation-smoothing

Provable robustness for segmentation tasks.

eth-sri.github.io

SRI Group Website

3dcertify

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

ACE

proof-sharing

CAV'22 paper to speed up Neural Network Verification.

prover

Verifier for Deep Neural Network Audio Processing

DFENCE

Dynamic Analysis and Synthesis System for Relaxed Memory Models

R4

mn-bab

[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

automated-error-analysis

Automated Classification of Model Errors on ImageNet (NeurIPS 2023)

Jupyter Notebook

SafeCoder

paradox

On the Paradox of Certified Training (TMLR 10/2022)

Delta-Siege

Unqomp

Automated Uncomputation for Quantum Programs

fairness-feedback-nlp

Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)

Spire

drs

[NeurIPS 2022] (De-)Randomized Smoothing for Decision Stump Ensembles

inferui

InferUI: Robust Relational Layouts Synthesis from Examples for Android

fare

FARE: Provably Fair Representation Learning with Practical Certificates (ICML '23)

transformation-smoothing

Randomized Smoothing for Parametric (Image) Transformations

TAPS

DeepT

ncm

Trace Based Supervision for Neural Architectures

abstraqt

ACES

[SRML@ICLR 2022] Robust and Accurate -- Compositional Architectures for Randomized Smoothing

malicious-contamination

synthetiq

CRAFT

fedavg_leakage

Reqomp

tableak

TabLeak: Tabular Data Leakage in Federated Learning

watermark-stealing

Watermark Stealing in Large Language Models