tudelft-cda-lab/SymLoop

Stars
2
Language
Java
Created over 1 year ago
Updated over 1 year ago

tudelft-cda-lab/SymLoop

tudelft-cda-lab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A symbolic execution engine that can find errors that require many iterations through loops.

SAGE

[TDSC 2021] IntruSion alert-driven Attack Graph Extractor. https://ieeexplore.ieee.org/document/9557854

GROOT

[ICML 2021] A fast algorithm for fitting robust decision trees. http://proceedings.mlr.press/v139/vos21a.html

FlexFringe

The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331

SECLEDS

[ECML 2022] SECLEDS: Sequence Clustering in Evolving Data Streams via Multiple Medoids and Medoid Voting

FlexFringe-python

Python wrapper for flexfringe

GRAMS

malpaca-pub

Network behavior discovery and behavioral profile generation. https://link.springer.com/chapter/10.1007/978-3-030-62582-5_15

ROCT

[AAAI 2022] Robust Optimal Classification Trees Against Adversarial Examples

OMDT

[IJCAI 2023] Optimizing decision tree policies for Markov Decision Processes (MDPs) using Mixed-Integer Linear Programming.

ENCODE

Python package for encoding NetFlow data for network anomaly detection

robust-relabeling

[ECML-PKDD 2022] Adversarially robust decision tree relabeling

PrivaTree

PrivaTree: An algorithm for training differentially-private decision trees

NIDS-Dataset-Quality-Evaluation

Jupyter Notebook

Tutorials

Tutorials for the cda-lab tools

CATMA

Conformance Analysis Tool For Microservice Applications

GROOT-experiment-code

xai-pipeline

[EuroS&P 2023] XAI pipeline in Python

Jupyter Notebook