iisc-cssl / porpoise
Porpoise is a tool to port applications to Intel SGX enclaves.
☆9Updated 3 years ago
Alternatives and similar repositories for porpoise:
Users that are interested in porpoise are comparing it to the libraries listed below
- Pluggable in-process caching engine to build and scale high performance services☆18Updated 6 months ago
- ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)☆11Updated 6 months ago
- Intel SGX microkernel based on Graphene-SGX☆9Updated 4 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆25Updated 7 months ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 2 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated 2 years ago
- MemLiner is a remote-memory-friendly runtime system.☆30Updated 2 years ago
- ☆16Updated 2 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 7 months ago
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated 4 months ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆35Updated last year
- ☆14Updated last year
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- A TEE programming framework based on trusted functions.☆14Updated 3 years ago
- ☆31Updated 3 years ago
- Modified musl libc for SGX-LKL☆13Updated 4 years ago
- Automatic virtualization of (general) accelerators.☆41Updated 2 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆27Updated 3 months ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆15Updated 4 years ago
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆57Updated last month
- QStack，a high-concurrency-and-low-latency user-level TCP stack for multicore systems, which can handle TCP concurrrent connection in 10 m…☆18Updated last year
- Accel-config / libaccel-config☆61Updated last week
- Research unikernel for virtualized services☆48Updated 2 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 3 years ago
- ☆20Updated 3 years ago
- A caching framework for microservice applications☆19Updated 8 months ago
- Trusted I/O Paths for SGX Enclaves☆15Updated 4 years ago
- High-performance key-value store☆12Updated 6 years ago
- ☆11Updated 3 years ago