SRI Lab, ETH Zurich

Secure, Reliable, Intelligent Systems Lab, ETH Zurich

Switzerland

Pinned Repositories

debin
Machine Learning to Deobfuscate Binaries
Language:Python401 20 2260
diffai
A certifiable defense against adversarial examples by training neural networks to be provably robust
Language:Python217 16 726
eran
ETH Robustness Analyzer for Deep Neural Networks
Language:Python306 21 96100
language-model-arithmetic
Controlled Text Generation via Language Model Arithmetic
Language:Python173 8 510
lmql
A language for constraint-guided and efficient LLM programming.
Language:Python3.4k 22 242184
Nice2Predict
Learning framework for program property prediction
Language:C++203 14 1152
securify
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Language:Java216 12 7150
securify2
Securify v2.0
Language:Solidity572 25 37132
silq
Language:Q#608 52 2953
UnuglifyJS
A simpler open-source version of JavaScript deobfuscator JSNice
Language:JavaScript246 12 033

SRI Lab, ETH Zurich's Repositories

eth-sri/lmql
A language for constraint-guided and efficient LLM programming.
Language:Python3.4k 22 242184
eth-sri/silq
Language:Q#608 52 2953
eth-sri/securify2
Securify v2.0
Language:Solidity572 25 37132
eth-sri/UnuglifyJS
A simpler open-source version of JavaScript deobfuscator JSNice
Language:JavaScript246 12 033
eth-sri/language-model-arithmetic
Controlled Text Generation via Language Model Arithmetic
Language:Python173 8 510
eth-sri/psi
Exact Inference Engine for Probabilistic Programs
Language:JetBrains MPS123 13 716
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:Python81 9 517
eth-sri/zkay
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
Language:Python80 11 521
eth-sri/sven
Language:Python60 6 212
eth-sri/ChatProtect
This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".
Language:Python28 8 23
eth-sri/llmprivacy
Language:Python24 5 55
eth-sri/tableak
TabLeak: Tabular Data Leakage in Federated Learning
Language:Python9 5 01
eth-sri/eth-sri.github.io
SRI Group Website
Language:HTML8 26 19
eth-sri/watermark-stealing
Watermark Stealing in Large Language Models
8 5 10
eth-sri/mn-bab
[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Language:Python7 5 96
eth-sri/Delta-Siege
Language:Python6 5 01
eth-sri/SafeCoder
6 6 0
eth-sri/automated-error-analysis
Automated Classification of Model Errors on ImageNet (NeurIPS 2023)
Language:Jupyter Notebook5 6 00
eth-sri/fairness-feedback-nlp
Human-Guided Fair Classification for NLP (ICLR 2023, Spotlight)
Language:Python4 7 00
eth-sri/malicious-contamination
Language:Python4 6 1
eth-sri/fare
FARE: Provably Fair Representation Learning with Practical Certificates (ICML '23)
Language:Shell3 6 20
eth-sri/abstraqt
Language:OpenQASM2 5 0
eth-sri/ChromeER
Language:C++2 6 02
eth-sri/synthetiq
Language:OpenQASM2 6 0
eth-sri/TAPS
Language:Python2 5 01
eth-sri/privacy-inference-multimodal
1
eth-sri/watermark-stealing-website
The website for "Watermark Stealing in Large Language Models".
Language:HTML11
eth-sri/progsyn
0 6 00
eth-sri/datamin
This is the Repository containing the implementation of our paper "From Principle to Practice: Vertical Data Minimization for Machine Learning".
Language:Python
eth-sri/ibp-propagation-tightness
Language:Python5 0