asterinas / jinzhao-attestView external linksLinks
Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.
☆36Dec 18, 2023Updated 2 years ago
Alternatives and similar repositories for jinzhao-attest
Users that are interested in jinzhao-attest are comparing it to the libraries listed below
Sorting:
- 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
- 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 2 years ago
- AECS(Attestation based Enclave Configuration Service)☆14Jan 10, 2024Updated 2 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- An Open and Cross-platform Trusted Execution Environment.☆150Sep 27, 2024Updated last year
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 3 months ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- With a goal to make confidential computing easier, SOFAEnclave is a software stack consisting of key technologies such as HW/SW enclave i…☆18Jul 7, 2023Updated 2 years ago
- HyperEnclave is an open and cross-platform trusted execution environment.☆69Jan 21, 2025Updated last year
- RATS architecture based TLS using librats☆50Oct 13, 2025Updated 4 months ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 4 years ago
- This project implements the Titans architecture from the paper "Titans: Learning to Memorize at Test Time" for market data prediction.☆11Jan 19, 2025Updated last year
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Feb 11, 2022Updated 4 years ago
- TPM attestation client and server for TPM 20. and TPM 1.2, including enrollment, attestation, and a web UI.☆16Dec 30, 2025Updated last month
- ☆14Aug 16, 2023Updated 2 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Aug 21, 2021Updated 4 years ago
- ☆11Dec 6, 2024Updated last year
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆22Aug 7, 2023Updated 2 years ago
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆17Feb 21, 2024Updated last year
- ☆22Aug 23, 2022Updated 3 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆23May 9, 2019Updated 6 years ago
- A novel container runtime, aka confidential container, for cloud-native confidential computing and enclave runtime ecosystem.☆629Apr 18, 2023Updated 2 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆28Apr 15, 2023Updated 2 years ago
- Ratel - a new framework for instruction-level interposition on enclaved applications☆25Dec 14, 2022Updated 3 years ago
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- Attestation and Secret Delivery Components☆140Updated this week
- A composite action that loads and applies hashicorp vault secrets as kubernetes secret and configmap resources☆18Oct 31, 2024Updated last year
- ☆32Jul 11, 2022Updated 3 years ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆38Updated this week
- ☆34Nov 7, 2022Updated 3 years ago
- KubeTEE is a collection of TEE development, deployment, maintenance middleware framework, and services, especially for Kubernetes workflo…☆79Sep 27, 2020Updated 5 years ago
- Cocos AI - Confidential Computing System for AI☆46Updated this week
- runs several layers of a deep learning model in TrustZone☆94Aug 8, 2024Updated last year
- Implementation of an X86 mini OS from scratch. Reference: https://github.com/yyu/osfs00☆11Jan 9, 2023Updated 3 years ago
- StatisticsView IntelliJ plugin enables logging IDE code browsing activities and shows aggregated statistical information (e.g. accumulate…☆12Aug 16, 2023Updated 2 years ago
- ☆33Dec 26, 2025Updated last month
- ☆94Jan 6, 2026Updated last month
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago