☆41Jan 5, 2026Updated 3 months ago
Alternatives and similar repositories for Cornelius
Users that are interested in Cornelius are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆29Jan 13, 2026Updated 2 months ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆100Aug 13, 2025Updated 7 months ago
- ☆45Oct 20, 2025Updated 5 months ago
- ☆93Mar 20, 2026Updated 3 weeks ago
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆13Nov 14, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆36Oct 29, 2025Updated 5 months ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆56Nov 7, 2023Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆22Aug 7, 2023Updated 2 years ago
- ☆14Mar 10, 2025Updated last year
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆16Nov 4, 2024Updated last year
- Intel confidential computing - TDX☆254Feb 13, 2026Updated last month
- ☆101May 27, 2024Updated last year
- ☆13Apr 3, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆15Updated this week
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆35Mar 28, 2023Updated 3 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated last year
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- ☆10Jun 10, 2024Updated last year
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 9 years ago
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- ☆14Nov 11, 2025Updated 5 months ago
- Build Trusted Chain for Cloud Native in Confidential Computing Envrionment☆19Feb 25, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Mar 5, 2026Updated last month
- ☆58Mar 26, 2025Updated last year
- A version of Griffin used to provide program traces☆15Sep 2, 2020Updated 5 years ago
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆64Aug 12, 2024Updated last year
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆53Apr 2, 2026Updated last week
- Confidential Containers Shim Firmware☆121Apr 2, 2026Updated last week
- An Open and Cross-platform Trusted Execution Environment.☆148Sep 27, 2024Updated last year
- ☆48Apr 3, 2026Updated last week
- Documentation related to Intel's Confidential Computing offerings☆23Mar 13, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆22Dec 19, 2024Updated last year
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆67Updated this week
- ☆17Jun 1, 2023Updated 2 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆23Nov 1, 2025Updated 5 months ago
- ☆60Mar 20, 2024Updated 2 years ago
- Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.☆12Jun 15, 2017Updated 8 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆91Sep 18, 2025Updated 6 months ago