Pinned Loading

1. formal-foundations-trigger-based-watermarking formal-foundations-trigger-based-watermarking Public

   Artifact of the paper "Formal Foundations of Trigger-Based Watermarking" (IEEE EuroS&P 2026)

   Python

2. watermarking-decision-tree-ensembles watermarking-decision-tree-ensembles Public

   Artifact of the paper "Watermarking Decision Tree Ensembles" (EDBT 2025)

   Jupyter Notebook 4

3. verifiable-boosted-tree-ensembles verifiable-boosted-tree-ensembles Public

   Artifact of the paper "Verifiable Boosted Tree Ensembles" (IEEE S&P 2025)

   C++

4. Verifiable-Learning-Robust-Tree-Ensembles Verifiable-Learning-Robust-Tree-Ensembles Public

   Artifact of the paper "Verifiable Learning for Robust Tree Ensembles" (CCS 2023)

   Python 3

5. explainable-global-fairness-verification explainable-global-fairness-verification Public

   Artifact of the paper "Explainable Global Fairness Verification of Tree-Based Classifiers" (SaTML 2022)

   C++ 1

6. FedericoMarcuzzi/resilience-verification FedericoMarcuzzi/resilience-verification Public

   Source code of the article "Beyond robustness: Resilience verification of tree-based classifiers" in proceeding at Computer & Security Journal.

   C++ 3