fabriceyhc / mode_nn_debugging
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection - Replication Project
☆15Updated last year
Related projects: ⓘ
- Code release for RobOT (ICSE'21)☆14Updated last year
- Reward Guided Test Generation for Deep Learning☆20Updated last month
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆25Updated 2 years ago
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆12Updated last year
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆10Updated last year
- ☆16Updated 3 years ago
- ☆23Updated 4 years ago
- ☆9Updated last year
- ☆26Updated last year
- [ICLR 2021: Spotlight] Source code for the paper "A Panda? No, It's a Sloth: Slowdown Attacks on Adaptive Multi-Exit Neural Network Infer…☆15Updated 2 years ago
- [NDSS'23] BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense☆14Updated 4 months ago
- A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]☆87Updated last year
- Machine Learning & Security Seminar @Purdue University☆25Updated last year
- ☆15Updated 3 months ago
- ☆18Updated 5 years ago
- Code release for DeepJudge (S&P'22)☆50Updated last year
- Library for training globally-robust neural networks.☆28Updated last year
- ☆24Updated 3 years ago
- ☆60Updated 3 years ago
- DeepLocalize: Fault Localization for Deep NeuralNetworks☆25Updated 3 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Updated last year
- ☆18Updated 3 years ago
- A curated list of awesome resources regarding machine learning reliability.☆30Updated 3 years ago
- ☆11Updated last year
- ☆11Updated 4 years ago
- This is the implementation for IEEE S&P 2022 paper "Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Secur…☆11Updated 2 years ago
- RAB: Provable Robustness Against Backdoor Attacks☆39Updated 11 months ago
- ☆9Updated 3 years ago
- The code is for our NeurIPS 2019 paper: https://arxiv.org/abs/1910.04749☆31Updated 4 years ago
- This is the source code for Maximum Mean Discrepancy Test is Aware of Adversarial Attacks (ICML2021).☆19Updated 2 years ago