Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf
☆18Mar 2, 2021Updated 5 years ago
Alternatives and similar repositories for growtrees
Users that are interested in growtrees are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…☆27Jun 15, 2019Updated 7 years ago
- ☆28Sep 9, 2020Updated 6 years ago
- Code of On L-p Robustness of Decision Stumps and Trees, ICML 2020☆10Aug 3, 2020Updated 6 years ago
- Corresponding code to "Improving Robustness of ML Classifiers against Realizable Evasion Attacks Using Conserved Features" @ USENIX Secur…☆11Aug 5, 2019Updated 7 years ago
- The library for symbolic interval☆23Jun 23, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Dec 1, 2021Updated 4 years ago
- Adversarial learning by utilizing model interpretation☆10Oct 19, 2018Updated 8 years ago
- Code for the AsiaCCS 2021 paper: "Malware makeover: Breaking ML-based static analysis by modifying executable bytes"☆56May 14, 2024Updated 2 years ago
- Agentic predicate synthesis for directed fuzzing☆14Oct 10, 2026Updated 3 weeks ago
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 7 years ago
- ☆17Oct 14, 2026Updated 3 weeks ago
- ☆24Nov 10, 2023Updated 2 years ago
- Library for training globally-robust neural networks.☆31Aug 7, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- PDF Malware Parser☆20Jun 3, 2016Updated 10 years ago
- Using SGX to harden password hashing☆34Jan 17, 2016Updated 10 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Source code for the paper: Adaptive Clustering-based Malicious Traffic Classification at the Network Edge (https://homepages.inf.ed.ac.uk…☆36May 6, 2021Updated 5 years ago
- ☆14May 16, 2024Updated 2 years ago
- Sentiment analysis in system logs.☆11Dec 6, 2023Updated 2 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- A framework for writing OSX menu bar plugins in Common Lisp.☆11Aug 22, 2026Updated 2 months ago
- Common Lisp metaclass adding support for slot validation☆11Mar 31, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [ICML 2019, 20 min long talk] Robust Decision Trees Against Adversarial Examples☆69Jul 12, 2025Updated last year
- 从美国国家漏洞库NVD获取某个特定版本软件的漏洞统计信息。☆16Mar 29, 2022Updated 4 years ago
- Releasing code for "ReCode: Robustness Evaluation of Code Generation Models"☆58Mar 20, 2024Updated 2 years ago
- Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.☆51Nov 9, 2021Updated 4 years ago
- A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]☆90Mar 24, 2023Updated 3 years ago
- A comprehensive logging framework for Common Lisp☆11Aug 4, 2026Updated 3 months ago
- ☆13Jul 8, 2023Updated 3 years ago
- Summer School: Social Media and Big Data Research☆16Jul 4, 2018Updated 8 years ago
- This document introduces how to implement a secure boot chain in UEFI using the TianoCore EDK II project☆13Apr 30, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Interpreting and Improving Deep Learning-based Anomaly Detection in Security Applications (CCS'21)☆75Dec 16, 2021Updated 4 years ago
- crates-sgx is a monorepo of all Rust crates ported for Teaclave SGX SDK targeting Intel SGX.☆12Sep 11, 2020Updated 6 years ago
- A simple Capture-The-Flag engine☆12Sep 4, 2026Updated 2 months ago
- Research tool able to detect and mitigate evasion techniques used by malware in-the-wild☆12Mar 21, 2023Updated 3 years ago
- Implementation of the SPDM protocol☆16Updated this week
- 🧰 🛠️ A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Mar 17, 2026Updated 7 months ago
- Code for our USENIX Security 2021 paper -- CADE: Detecting and Explaining Concept Drift Samples for Security Applications☆148Mar 25, 2023Updated 3 years ago