The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata
☆20Mar 3, 2026Updated this week
Alternatives and similar repositories for amd-sev-snp-attestation-sdk
Users that are interested in amd-sev-snp-attestation-sdk are comparing it to the libraries listed below
Sorting:
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Mar 3, 2026Updated last week
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆31Dec 19, 2025Updated 2 months ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆50Updated this week
- Smart contracts for Pileum project☆32Jun 25, 2025Updated 8 months ago
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Dec 20, 2024Updated last year
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- ☆31Jun 14, 2023Updated 2 years ago
- Administrative utility for AMD SEV☆66Feb 6, 2026Updated last month
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Low level attester and verifier drivers for multiple TEEs☆26May 30, 2024Updated last year
- Rust library for Intel TDX☆31Nov 24, 2025Updated 3 months ago
- ☆24Jul 27, 2025Updated 7 months ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 2 years ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆50Updated this week
- ☆12Oct 16, 2021Updated 4 years ago
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- semaphore-mtb repository☆50Dec 16, 2025Updated 2 months ago
- ☆14Feb 28, 2025Updated last year
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …☆10Nov 27, 2019Updated 6 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- ☆12Jan 3, 2024Updated 2 years ago
- ☆12Dec 21, 2024Updated last year
- ☆11Mar 28, 2022Updated 3 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- Include halo2 example circuits☆10Jul 4, 2022Updated 3 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- ☆15Jul 18, 2023Updated 2 years ago
- RISCulator is a RISC-V emulator.☆12Aug 18, 2023Updated 2 years ago
- Unofficial mirror of☆11Feb 2, 2018Updated 8 years ago
- The implementation of our IEEE S&P 2024 paper "Securely Fine-tuning Pre-trained Encoders Against Adversarial Examples".☆11Jun 28, 2024Updated last year
- ☆10Nov 20, 2024Updated last year
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- ☆14Nov 11, 2025Updated 3 months ago
- ☆13Oct 6, 2022Updated 3 years ago
- ☆11Jun 10, 2024Updated last year
- ☆12May 15, 2022Updated 3 years ago