Open Source Implemenation of Secure SEV-SNP bootup workflow
☆26Nov 3, 2024Updated last year
Alternatives and similar repositories for snp-guard
Users that are interested in snp-guard are comparing it to the libraries listed below
Sorting:
- A CLI tool for interacting with SEV-SNP guest environment☆90Jan 23, 2026Updated last month
- Linux kernel source tree☆32Mar 11, 2026Updated last week
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Feb 1, 2024Updated 2 years ago
- TypeScript library for working with encrypted data within nilDB queries and replies.☆15Jan 9, 2026Updated 2 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- Virtual I/O acceleration technologies for KVM☆15Sep 17, 2013Updated 12 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Feb 28, 2020Updated 6 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆17Nov 2, 2023Updated 2 years ago
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆19Jan 22, 2024Updated 2 years ago
- AES Galois Extended Mode☆23Feb 9, 2026Updated last month
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Mar 14, 2021Updated 5 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 5 months ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 5 years ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆33May 3, 2024Updated last year
- Rust library for AMD SEV and SEV-SNP☆135Mar 3, 2026Updated 2 weeks ago
- A formally verified security module for AMD confidential VMs☆65Dec 11, 2025Updated 3 months ago
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆14May 26, 2024Updated last year
- ☆64Mar 5, 2026Updated 2 weeks ago
- BLS signature implementation on the BLS12-381 curve that meets the IETF spec.☆17Feb 3, 2026Updated last month
- Unified modular arceos-hypervisor☆39Updated this week
- SystemTap games run in Linux kernel☆18Jul 29, 2011Updated 14 years ago
- Rust crate for BLS signatures☆32Jul 15, 2024Updated last year
- Short Python script for parsing Defender VDM signature files.☆10Sep 22, 2024Updated last year
- OP-TEE Remote Attestation☆25Feb 21, 2026Updated last month
- ☆15Jan 5, 2024Updated 2 years ago
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆24Apr 20, 2022Updated 3 years ago
- pwntools for go!☆12Jul 14, 2019Updated 6 years ago
- A simple example of using Windows Hypervisor Platform (WHP)☆12Dec 18, 2020Updated 5 years ago
- ☆11Apr 10, 2018Updated 7 years ago
- Code Integrity Violation Spotter☆17Jun 11, 2024Updated last year
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- ☆13Nov 21, 2024Updated last year
- bignum☆29Feb 20, 2026Updated last month
- Software optimized implementations of GIFT and GIFT-COFB☆18Mar 29, 2022Updated 3 years ago
- Powershell Scripts for DNS Functions☆11Jul 23, 2020Updated 5 years ago
- ☆11Apr 7, 2022Updated 3 years ago
- Low level attester and verifier drivers for multiple TEEs☆26May 30, 2024Updated last year
- headless-ida-mcp-server☆36Apr 4, 2025Updated 11 months ago