iisc-cssl / porpoise
Porpoise is a tool to port applications to Intel SGX enclaves.
☆9Updated 2 years ago
Related projects: ⓘ
- Intel SGX microkernel based on Graphene-SGX☆9Updated 4 years ago
- Pluggable in-process caching engine to build and scale high performance services☆17Updated 2 months ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆24Updated 3 months ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆34Updated 9 months ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Updated 3 years ago
- ☆30Updated this week
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated last year
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆29Updated 2 years ago
- A TEE programming framework based on trusted functions.☆14Updated 3 years ago
- ☆33Updated last week
- Ratel - a new framework for instruction-level interposition on enclaved applications☆21Updated last year
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆15Updated last month
- ☆16Updated 11 months ago
- Benchmark Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory on my sandbox☆23Updated 10 years ago
- ☆7Updated 3 years ago
- ☆30Updated 2 years ago
- ☆32Updated 2 months ago
- Trusted I/O Paths for SGX Enclaves☆16Updated 4 years ago
- sgxtop and sgxstat utilities for monitoring SGX driver statistics☆26Updated 4 years ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆37Updated last year
- ☆48Updated 4 years ago
- Research unikernel for virtualized services☆48Updated last year
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆19Updated 3 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26Updated 7 years ago
- ☆16Updated 2 years ago
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆52Updated last month
- Pin-Based Constant Execution Checker (Pin-based CEC)☆15Updated this week
- ☆36Updated this week
- Simple password-wallet application based on Intel SGX for linux.☆17Updated 4 years ago
- An Oblivious General-Purpose SQL Database for the Cloud☆56Updated 4 years ago