Compartmentalization using hardware and software techniques.
☆12Aug 28, 2025Updated 6 months ago
Alternatives and similar repositories for Pieces
Users that are interested in Pieces are comparing it to the libraries listed below
Sorting:
- ☆14Aug 16, 2023Updated 2 years ago
- Automatic Compartments for Embedded Systems☆24Mar 6, 2020Updated 5 years ago
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆83Dec 17, 2024Updated last year
- ☆12Jun 22, 2021Updated 4 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- ☆11Jun 10, 2024Updated last year
- Flash Patch library and example on Nordic Semiconductor's nRF52 Series Device☆12Apr 26, 2016Updated 9 years ago
- Rust + WebAssembly port of SymbolicRegression.jl☆35Jan 5, 2026Updated last month
- GPU topology-aware scheduler☆13Jul 7, 2017Updated 8 years ago
- Train cifar10 networks and inference with tensorrt.☆16Apr 16, 2020Updated 5 years ago
- kR^X: Comprehensive Kernel Protection Against Just-In-Time Code Reuse☆13Aug 21, 2017Updated 8 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- Security-Oriented Analysis of Application Programs☆13Dec 14, 2018Updated 7 years ago
- NJUCS操作系统实验☆10Jun 22, 2020Updated 5 years ago
- ☆12Jan 11, 2025Updated last year
- ☆13Oct 17, 2021Updated 4 years ago
- ☆17Jun 25, 2017Updated 8 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 12 years ago
- An application for converting Disk Copy 4.2 images into raw disk images.☆19Feb 11, 2022Updated 4 years ago
- 使用HMM、N-Gram、BiLSTM、Bert等模型对中文语料分词并比较结果☆16Jul 2, 2022Updated 3 years ago
- This repo provides a demo for the ICML 2023 paper "Moderately Distributional Exploration for Domain Generalization" on the PACS dataset.☆15Jun 5, 2023Updated 2 years ago
- KLEE with floating point support (unmaintained)☆20Feb 15, 2022Updated 4 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆18Sep 12, 2024Updated last year
- Static code search python lib☆18Oct 27, 2020Updated 5 years ago
- ☆25Mar 26, 2025Updated 11 months ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆27Feb 2, 2025Updated last year
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆26Feb 13, 2025Updated last year
- Split kernel using extended page tables to provided kernel memory protection☆25Mar 6, 2018Updated 7 years ago
- ☆21Oct 2, 2018Updated 7 years ago
- 南京 大学计算机网络实验☆13Sep 18, 2020Updated 5 years ago
- Heavyweight Python dynamic analysis framework☆17Apr 17, 2024Updated last year
- [arXiv'18] Security Analysis of Deep Neural Networks Operating in the Presence of Cache Side-Channel Attacks☆20Feb 19, 2020Updated 6 years ago
- A tool for automatically generating database documents☆24May 15, 2020Updated 5 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- ☆20Jul 7, 2017Updated 8 years ago
- ☆25Oct 8, 2018Updated 7 years ago
- Modified Nexus 9 kernel for Kenali Project☆30Aug 5, 2019Updated 6 years ago