SRI Lab, ETH Zurich

Secure, Reliable, Intelligent Systems Lab, ETH Zurich

Switzerland

Pinned Repositories

debin
Machine Learning to Deobfuscate Binaries
Language:Python437 21 2262
diffai
A certifiable defense against adversarial examples by training neural networks to be provably robust
Language:Python219 16 726
eran
ETH Robustness Analyzer for Deep Neural Networks
Language:Python323 21 97102
ilf
AI based fuzzer based on imitation learning
Language:Python150 11 1932
language-model-arithmetic
Controlled Text Generation via Language Model Arithmetic
Language:Python214 8 815
lmql
A language for constraint-guided and efficient LLM programming.
Language:Python3.8k 23 252203
Nice2Predict
Learning framework for program property prediction
Language:C++213 14 1151
securify
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Language:Java219 12 7150
securify2
Securify v2.0
Language:Solidity591 26 37134
UnuglifyJS
A simpler open-source version of JavaScript deobfuscator JSNice
Language:JavaScript252 12 033

SRI Lab, ETH Zurich's Repositories

eth-sri/lmql
A language for constraint-guided and efficient LLM programming.
Language:Python3.8k 23 252203
eth-sri/debin
Machine Learning to Deobfuscate Binaries
Language:Python437 21 2262
eth-sri/diffai
A certifiable defense against adversarial examples by training neural networks to be provably robust
Language:Python219 16 726
eth-sri/language-model-arithmetic
Controlled Text Generation via Language Model Arithmetic
Language:Python214 8 815
eth-sri/ilf
AI based fuzzer based on imitation learning
Language:Python150 11 1932
eth-sri/psi
Exact Inference Engine for Probabilistic Programs
Language:JetBrains MPS131 13 818
eth-sri/sven
Language:Python99 6 419
eth-sri/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.
Language:Python85 9 515
eth-sri/fastsmt
Learning to Solve SMT Formulas Fast
Language:SMT84 10 518
eth-sri/llmprivacy
Language:Python49 5 55
eth-sri/ChatProtect
This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".
Language:Python34 8 23
eth-sri/SafeCoder
Language:Python31 8 16
eth-sri/SynthPAI
A Synthetic Dataset for Personal Attribute Inference (NeurIPS'24 D&B)
Language:HTML31 5 24
eth-sri/watermark-stealing
Watermark Stealing in Large Language Models (ICML '24)
Language:Python18 7 14
eth-sri/learning-real-bug-detector
Language:Python16 8 24
eth-sri/tableak
TabLeak: Tabular Data Leakage in Federated Learning
Language:Python14 5 02
eth-sri/llm-quantization-attack
Language:Python12 5 11
eth-sri/eth-sri.github.io
SRI Group Website
Language:HTML9 25 18
eth-sri/mn-bab
[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Language:Python7 5 96
eth-sri/cuts
Language:Python6 6 00
eth-sri/fairness-feedback-nlp
Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)
Language:Python5 7 00
eth-sri/ConStat
A statistical test for contamination detection in language models.
Language:Python4 6 01
eth-sri/cascade-routing
Language:Python3
eth-sri/ChromeER
Language:C++3 6 02
eth-sri/synthetiq
Language:OpenQASM3 6 11
eth-sri/domino
1 5 1
eth-sri/exploiting-llm-quantization-website
Language:JavaScript1
eth-sri/watermark-stealing-website
The website for "Watermark Stealing in Large Language Models".
Language:HTML1 1 01
eth-sri/constat.github.io
Language:JavaScript0 4 00
eth-sri/CTBench
Language:Python4 0