Formal specification of attestation mechanisms in Confidential Computing
☆24Nov 22, 2025Updated 4 months ago
Alternatives and similar repositories for formal-spec-TEE
Users that are interested in formal-spec-TEE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Meeting materials☆20Feb 26, 2026Updated last month
- ☆11Dec 11, 2024Updated last year
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆74Updated this week
- ☆22May 21, 2024Updated last year
- ☆31Feb 27, 2026Updated last month
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- The cryptographic signature multifomat☆13Jul 9, 2025Updated 8 months ago
- A specification including, problem statement, use cases, requirements, and architectural constituents for a Transparency Service in suppo…☆14Feb 17, 2023Updated 3 years ago
- Github Artifacts server example☆12Jun 4, 2021Updated 4 years ago
- Verifiable Credential Server for Web5.☆11Dec 17, 2022Updated 3 years ago
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆41Mar 20, 2026Updated last week
- GitHub Actions Security Tester☆12Feb 1, 2023Updated 3 years ago
- Confidential VM Platform Guest attestation sample apps☆81Updated this week
- A GeoDjango app to return Cascadia quake risk and resilience factors based on location☆12Updated this week
- ☆26Aug 31, 2023Updated 2 years 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.
- ☆11Nov 20, 2024Updated last year
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆22Oct 25, 2023Updated 2 years ago
- Tooling and library for generation, validation and verification of supply chain metadata documents and frameworks☆33Apr 22, 2025Updated 11 months ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- Resources for private and secure Machine Learning and Artificial Intelligence☆12Jun 13, 2022Updated 3 years ago
- go-sev-guest offers a library to wrap the /dev/sev-guest device in Linux, as well as a library for attestation verification of fundamenta…☆68Nov 19, 2025Updated 4 months ago
- 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
- socat(1) fork with AF_VSOCK support. vsock support is now available with mainline socat 1.7.4 available at http://www.dest-unreach.…☆10Jan 31, 2020Updated 6 years ago
- Attestation and Secret Delivery Components☆146Updated this week
- 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.
- ☆13Jan 28, 2026Updated 2 months ago
- ☆27Updated this week
- Process-based Confidential Container Runtime☆85Oct 17, 2025Updated 5 months ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆53Updated this week
- Ancillary open source software to support confidential computing on NVIDIA GPUs☆307Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆10Sep 7, 2023Updated 2 years ago
- Mpcurses is an abstraction of the Python curses and multiprocessing libraries providing function execution and runtime visualization capa…☆17Jan 4, 2025Updated last year
- Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools☆19Mar 19, 2026Updated last week
- A large scale simulation which pits millions of space ships against each other in a virtual universe all running directly in SingleStore.☆21Mar 12, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Python WebFinger client☆43May 13, 2019Updated 6 years ago
- Device Identifier Composition Engine☆20Mar 15, 2022Updated 4 years ago
- A list of tools for publishing and consuming Linked Data.☆23Mar 7, 2017Updated 9 years ago
- A SPARQL to Cypher query transpiler that converts a given SPARQL query to an equivalent Cypher query.☆13Aug 25, 2021Updated 4 years ago
- Report on quality of SBOM contents☆25Dec 18, 2024Updated last year
- The Chrome plugin for SafeKeeper password protection service.☆12Apr 25, 2018Updated 7 years ago
- A CCF-based, attested DNS server☆15Oct 6, 2025Updated 5 months ago