Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.
☆17Oct 15, 2024Updated last year
Alternatives and similar repositories for asterinas-cc
Users that are interested in asterinas-cc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HyperEnclave is an open and cross-platform trusted execution environment.☆71Jan 21, 2025Updated last year
- Go packages providing ways to parse, replay, and extract information from various attestation-related event logs☆17Mar 5, 2026Updated 2 weeks ago
- A community preview of ongoing formal verification efforts for Asterinas☆44Updated this week
- A privacy-preserving computing system based on TEE.☆33Mar 12, 2026Updated last week
- Learning with Partial Supervision☆10Sep 21, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Sep 16, 2025Updated 6 months ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36May 26, 2023Updated 2 years ago
- ☆20Updated this week
- Spoof TPMS sensors to prevent blinking lights/etc☆18Nov 24, 2021Updated 4 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- My Awesome Blog☆14Nov 10, 2018Updated 7 years ago
- Display a rolling graph of Task CPU usage inside an ESP32☆40Nov 14, 2025Updated 4 months ago
- ☆16May 24, 2024Updated last year
- 面向可信执行环境的OS。☆12May 9, 2025Updated 10 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 12 years ago
- Memory Efficient Quantile Approximator for High Speed Data Streams☆22Sep 29, 2016Updated 9 years ago
- Cast between trait objects using only safe Rust.☆17Dec 10, 2024Updated last year
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Aug 24, 2020Updated 5 years ago
- Fixed esp32 ieee80211.a lib esp_wifi_80211_tx() function sanity check filter of deauth packets☆20Jul 5, 2023Updated 2 years ago
- TeeApps contain a general framework for developing TEE applications and various application implementations used in federated AI/BI.☆22May 8, 2025Updated 10 months ago
- Documentation related to Intel's Confidential Computing offerings☆21Mar 13, 2026Updated last week
- A toolkit for building telemetry data planes in Rust.☆33Mar 18, 2026Updated last week
- The repo of Private Set Intersection(PSI) and Private Information Retrieval(PIR) from SecretFlow.☆49Mar 16, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Feb 4, 2026Updated last month
- ☆24Sep 1, 2025Updated 6 months ago
- Writing a hypervisor in Rust☆11Apr 1, 2025Updated 11 months ago
- library providing OPRF and Threshold OPRF based on libsodium☆32Feb 23, 2026Updated last month
- An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.☆13Jun 7, 2023Updated 2 years ago
- openembedded meta layer containing recipes for TPM / TCG software☆20May 8, 2022Updated 3 years ago
- A fast, general purpose crypto library in pure Rust.☆21Aug 26, 2018Updated 7 years ago
- An Open and Cross-platform Trusted Execution Environment.☆150Sep 27, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12Apr 10, 2023Updated 2 years ago
- SecretPad is a privacy-preserving computing web platform based on the Kuscia framework, designed to provide easy access to privacy-prese…☆66Jul 25, 2025Updated 8 months ago
- A set of Rust crates to make it easier to interoperate with Linux as a process☆44Jan 20, 2023Updated 3 years ago
- A Framework for Machine Learning on Encrypted Data☆12Feb 10, 2022Updated 4 years ago
- This is the official repo for Dynamic Extension Nets for Few-shot Semantic Segmentation (ACM Multimedia 20).☆35Oct 3, 2023Updated 2 years ago
- Generate text images for training deep learning ocr model☆10Oct 22, 2018Updated 7 years ago
- survery of small language models☆18Jul 23, 2024Updated last year