SRI Lab, ETH Zurich
- Switzerland
- https://www.sri.inf.ethz.ch/
Grow your team on GitHub
GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign upRepositories
eth-sri.github.io
SRI Group Website
eran
ETH Robustness Analyzer for Deep Neural Networks
securify2
Securify v2.0
soltix
SOLTIX: Scalable automated framework for testing Solidity compilers.
diffai
A certifiable defense against adversarial examples by training neural networks to be provably robust
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.
psi
Exact Inference Engine for Probabilistic Programs
UnuglifyJS
Forked from mishoo/UglifyJSA simpler open-source version of JavaScript deobfuscator JSNice
deepg
Certifying Geometric Robustness of Neural Networks
guiding-synthesizers
Guiding Program Synthesis by Learning to Generate Examples
astarix
AStarix: Fast and Optimal Sequence-to-Graph Aligner
ilf
AI based fuzzer based on imitation learning
securify
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
ModelsPHOG
Synthesized models for PHOG to make the results reproducible by the research community
UniversalCertificationTheory
Universal Approximation with Certified Networks
zkay
Specifying and Enforcing Data Privacy in Smart Contracts