ETH Robustness Analyzer for Deep Neural Networks
ELINA: ETH LIbrary for Numerical Analysis
SRI Group Website
3DCertify is the first verifier to certify robustness of point cloud models against semantic transformations and point perturbations
Automated Uncomputation for Quantum Programs
Adversarial Robustness for Code
A machine-learning-based tool for discovering differential privacy violations in black-box algorithms.
Exact Inference Engine for Probabilistic Programs
Source for https://www.silq.ethz.ch
InferUI: Robust Relational Layouts Synthesis from Examples for Android
Guiding Program Synthesis by Learning to Generate Examples
Certifying Geometric Robustness of Neural Networks
A certifiable defense against adversarial examples by training neural networks to be provably robust
Convex Layerwise Adversarial Training (COLT)
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.
SOLTIX: Scalable automated framework for testing Solidity compilers.
Randomized Smoothing for Parametric (Image) Transformations
Learning to Solve SMT Formulas Fast
Learning Certified Individually Fair Representations
Machine Learning to Deobfuscate Binaries
AI based fuzzer based on imitation learning