☆10Jun 13, 2019Updated 7 years ago
Alternatives and similar repositories for oak-enclave
Users that are interested in oak-enclave are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆29Jul 27, 2020Updated 6 years ago
- LibVMI in MiniOS☆12May 22, 2021Updated 5 years ago
- Minimal RISC Extensions for Isolated Execution☆55Jul 11, 2019Updated 7 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆47Dec 11, 2022Updated 3 years ago
- ☆23May 21, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 7 years ago
- Tor anonymity network for SGX☆47Mar 4, 2019Updated 7 years ago
- Appium Tizen Driver is a test automation tool for Tizen devices. Appium Tizen Driver automates xamarin apps, tested on emulators and real…☆19Apr 7, 2023Updated 3 years ago
- Tizen.Appium is a service library that supports running Appium for Tizen applications.☆15Apr 7, 2023Updated 3 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 4 years ago
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 9 years ago
- RISC-V HS-mode hypervisor extension tests☆11Nov 15, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆23Mar 25, 2019Updated 7 years ago
- Secure Interrogation of Genomic Databases (SIG-DB) using Homomorphic Encryption☆10May 16, 2018Updated 8 years ago
- CHERI ISA Specification☆29Mar 13, 2026Updated 7 months ago
- RISC-V Security Model☆39Oct 23, 2026Updated last week
- ☆22Mar 1, 2026Updated 8 months ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated 2 years ago
- ☆17Sep 20, 2019Updated 7 years ago
- A Bro package to identify connections that are bursting (lots of data and transferring quickly).☆13Oct 15, 2020Updated 6 years ago
- Tiny WS UPS (ragtech) for Home Assistant☆15Oct 20, 2026Updated last week
- 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.
- Group administration repository for Tech: IOPMP Task Group☆13Dec 19, 2024Updated last year
- Formal specification and verification of hardware, especially for security and privacy.☆133May 19, 2022Updated 4 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Mar 3, 2022Updated 4 years ago
- Network Throttler☆11Sep 12, 2015Updated 11 years ago
- Making transparency normal!☆26Dec 18, 2023Updated 2 years ago
- Materials for ECS 201A☆11Oct 23, 2019Updated 7 years ago
- RISC-V Security HC admin repo☆17Jan 7, 2025Updated last year
- Protocols for Secure Genomic Computation☆12Aug 28, 2017Updated 9 years ago
- Eyrie enclave runtime kernel☆37Aug 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An Apple Photos export script.☆21Jun 16, 2021Updated 5 years ago
- A case for the Icebreaker FPGA board☆10May 24, 2026Updated 5 months ago
- betrusted.io main SoC design☆15Jan 30, 2020Updated 6 years ago
- ☆22Jan 9, 2023Updated 3 years ago
- RISC-V Confidential VM Extension☆19Jan 14, 2026Updated 9 months ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆54Sep 4, 2026Updated last month
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 6 months ago