coder's repositories
ART
The code for paper "ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks".
DeepDIG
This repository contains the code for Characterizing the Decision Boundary of Deep Neural Networks
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.
RouteNet-challenge
RouteNet version for the Graph Neural Networking Challenge 2020
demo-routenet
Demo of RouteNet in ACM SIGCOMM'19
FARE
FARE: Enabling Fine-grained Attack Categorization under Low-quality Labeled Data
STN-Code
Code for Stability Training with Noise (STN)
RePO
Enhancing Robustness Against Adversarial Examples in Network Intrusion Detection Systems
CADE
Code for our USENIX Security 2021 paper -- CADE: Detecting and Explaining Concept Drift Samples for Security Applications
awesome-adversarial-machine-learning
A curated list of awesome adversarial machine learning resources
PAPUD_LogAnomalyDetection
Log anomaly detection software developed during ITEA3/PAPUD project
mnist_challenge
A challenge to explore adversarial robustness of neural networks on MNIST.
RobustTrees
[ICML 2019, 20 min long talk] Robust Decision Trees Against Adversarial Examples
FreeLB
Adversarial Training for Natural Language Understanding
Attackability-Characterization-of-Adversarial-Evasion-Attack-on-Discrete-Data
Source codes for "Attackability Characterization of Adversarial Evasion Attack on Discrete Data" (SIGKDD 2020)
cifar10_challenge
A challenge to explore adversarial robustness of neural networks on CIFAR10.
Fs-net-1
FS-Net: A Flow Sequence Network For Encrypted Traffic Classification
On-ell_p-Robustness-of-Ensemble-Stumps-and-Trees
Code of On L-p Robustness of Decision Stumps and Trees, ICML 2020
rs4a
Randomized Smoothing of All Shapes and Sizes (ICML 2020).
CROWN-IBP
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
PyTorch-DAGMM
Deep Autoencoding Gaussian Mixture Model for Unsupervised Anomaly Detection
FS-Net
Code for “FS-Net: A Flow Sequence Network For Encrypted Traffic Classification”
ijcnn19attacks
Adversarial Attacks on Deep Neural Networks for Time Series Classification
dagmm-1
A Pytorch implementation of the paper `Deep Autoencoding Gaussian Mixture Model For Unsupervised Anomaly Detection` by Zong et al.
CNN-Cert
Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks", published at AAAI 2019
provably-robust-boosting
Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks [NeurIPS 2019]
POPQORN
An Algorithm to Quantify Robustness of Recurrent Neural Networks
logdeep
log anomaly detection toolkit including DeepLog