SDK for Keystone Enclave - ABI/SBI libraries and sample apps
☆44Oct 10, 2022Updated 3 years ago
Alternatives and similar repositories for keystone-sdk
Users that are interested in keystone-sdk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Loadable Module for Keystone Enclave☆19Sep 24, 2022Updated 3 years ago
- Eyrie enclave runtime kernel☆37Aug 2, 2023Updated 2 years ago
- Demo host and enclave applications exercising most functionality.☆33Jun 12, 2023Updated 3 years ago
- Keystone Enclave (QEMU + HiFive Unleashed)☆530Mar 10, 2025Updated last year
- RISC-V Linux for Keystone Enclave (will be deprecated in the future versions. See https://github.com/keystone-enclave/linux-keystone-driv…☆16Apr 3, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆23May 21, 2024Updated 2 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆25Jan 1, 2026Updated 6 months ago
- Securing Data Analytics on Intel SGX using Randomization☆13Aug 30, 2017Updated 8 years ago
- First practical showcase for leaking secret encryption keys from a secure SGX enclave.☆20Mar 21, 2017Updated 9 years ago
- Rust port of TinyCrypt's CCM mode implementation using RustCrypto's AES☆12Jun 13, 2020Updated 6 years ago
- Confidential Containers Shim Firmware☆126Jun 25, 2026Updated last week
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆32Jun 13, 2016Updated 10 years ago
- ☆10Sep 3, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper☆24Apr 16, 2021Updated 5 years ago
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 9 years ago
- Verifying OpenTitan☆29Aug 20, 2023Updated 2 years ago
- ☆21Aug 22, 2022Updated 3 years ago
- Accellera SystemC Releases and Patches☆13Feb 3, 2018Updated 8 years ago
- config files for urxvt / rxvt-unicode☆10May 17, 2015Updated 11 years ago
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 6 years ago
- ☆21Dec 9, 2018Updated 7 years ago
- ZPU Core for Lattice ICE40HX8K☆12Apr 26, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Fortanix Rust Enclave Development Platform☆487Jun 12, 2026Updated 3 weeks ago
- Async datagram traits☆11Aug 28, 2019Updated 6 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆23May 9, 2019Updated 7 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- PrivacyGo Data Clean Room (PGDCR) is an open-source project for easily building and deploying data collaboration framework to the cloud u…☆35Oct 31, 2024Updated last year
- ☆11Oct 28, 2020Updated 5 years ago
- SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves☆269Dec 25, 2022Updated 3 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆18Jun 24, 2026Updated last week
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- RISC-V ISA based 32-bit processor written in HLS☆16Nov 7, 2019Updated 6 years ago
- Improving side channel analysis techniques for CTF problems.☆12Oct 25, 2020Updated 5 years ago
- ⛔ DEPRECATED ⛔ HERO Software Development Kit☆20Jan 6, 2022Updated 4 years ago
- This repository is archived, please see: https://github.com/linux4microchip/buildroot-external-microchip☆24Nov 25, 2022Updated 3 years ago
- A TEE programming framework based on trusted functions.☆14Mar 23, 2021Updated 5 years ago
- 音源☆17Dec 4, 2023Updated 2 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 9 years ago