surrealyz / growtrees
Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf
☆18Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for growtrees
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆26Updated 2 years ago
- On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542☆29Updated 2 years ago
- A graph-based deep learning tool that can recognizes the kernel objects from raw memory dumps.☆13Updated 5 years ago
- A library for adversarial classifier evasion☆40Updated 9 years ago
- ☆15Updated last year
- Human-In-The-Loop Automatic Program Repair☆18Updated 4 years ago
- PoC exploits against various SGX enclaves☆15Updated 2 years ago
- ☆60Updated 2 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 3 months ago
- The PT tracing portion of Barnum.☆11Updated 5 years ago
- PDF Malware Parser☆20Updated 8 years ago
- ☆11Updated 3 years ago
- A set of templates for different academic venues.☆27Updated 5 years ago
- Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack☆25Updated 8 years ago
- ☆44Updated 2 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- ☆75Updated 4 years ago
- ☆55Updated 5 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 6 months ago
- User Guided API Misuse Detection☆27Updated last year
- The Tangled Genealogy of IoT Malware☆10Updated 3 years ago
- Public BanditFuzz Repo☆12Updated 3 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆12Updated 2 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- ☆25Updated 6 years ago
- pytorch version of the SAFE neural network☆55Updated 2 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- ☆14Updated 7 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆22Updated 5 years ago