☆13Oct 8, 2021Updated 4 years ago
Alternatives and similar repositories for Jenny
Users that are interested in Jenny are comparing it to the libraries listed below
Sorting:
- ☆15Apr 13, 2021Updated 4 years ago
- ☆16Sep 29, 2022Updated 3 years ago
- ☆20Mar 10, 2022Updated 3 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- ☆28Nov 16, 2021Updated 4 years ago
- ☆14Jun 11, 2020Updated 5 years ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Oct 26, 2022Updated 3 years ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆13Jul 22, 2022Updated 3 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- ☆12Apr 19, 2023Updated 2 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆38Aug 30, 2022Updated 3 years ago
- MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols☆30Sep 24, 2025Updated 5 months ago
- Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data☆20Oct 13, 2022Updated 3 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- ☆28Mar 4, 2025Updated last year
- Transparent zero-copy IO☆26Mar 31, 2024Updated last year
- ☆23Jun 14, 2023Updated 2 years ago
- Run Rocket Chip on VCU128☆30Oct 21, 2025Updated 4 months ago
- Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…☆24Sep 14, 2023Updated 2 years ago
- ☆72Oct 6, 2023Updated 2 years ago
- Open-source high-performance RISC-V processor☆32Dec 12, 2025Updated 2 months ago
- ☆26Nov 16, 2023Updated 2 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Sep 15, 2024Updated last year
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆33Updated this week
- The MIT Sanctum processor top-level project☆31Apr 7, 2020Updated 5 years ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆94Aug 13, 2025Updated 6 months ago
- ☆38Jun 26, 2024Updated last year
- ☆37May 15, 2022Updated 3 years ago
- ☆35Jul 23, 2023Updated 2 years ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36May 26, 2023Updated 2 years ago
- ☆39Apr 15, 2024Updated last year
- Vulnerable code clone detection technique. Published in EuroS&P2020☆10Sep 4, 2020Updated 5 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …☆10Nov 27, 2019Updated 6 years ago
- Nomic is a game in which changing the rules is a move. Let's play!☆10Jul 11, 2025Updated 7 months ago
- ☆11Sep 5, 2019Updated 6 years ago