A formally verified security module for AMD confidential VMs
☆75Sep 25, 2026Updated last month
Alternatives and similar repositories for verismo
Users that are interested in verismo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ongoing formal verification for Asterinas OSTD☆59Updated this week
- ☆24Feb 2, 2026Updated 9 months ago
- ☆24Oct 6, 2026Updated 3 weeks ago
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆21Oct 21, 2026Updated last week
- ☆15Mar 20, 2024Updated 2 years ago
- AI Agents on 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.
- COCONUT-SVSM☆247Updated this week
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆244Updated this week
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆45Nov 12, 2025Updated 11 months ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago
- Getting Started with the Core Slicing Prototype☆14Jun 25, 2026Updated 4 months ago
- A memory allocator verified with Verus☆41Oct 25, 2026Updated last week
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated 2 years ago
- ☆133Aug 24, 2026Updated 2 months ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆76May 28, 2026Updated 5 months ago
- AI Agents on 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.
- Storage systems with verified correctness properties☆85Updated this week
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆58Nov 7, 2023Updated 2 years ago
- SeGuRu: safe GPU programming in Rust☆21Sep 25, 2026Updated last month
- ☆29Sep 26, 2026Updated last month
- ☆11Jun 10, 2024Updated 2 years ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆106Updated this week
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆15Feb 7, 2024Updated 2 years ago
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆65Aug 12, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- Verified Rust for low-level systems code☆3,529Updated this week
- Full disk encryption solution in the confidential computing environment☆16May 13, 2024Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆15Sep 25, 2023Updated 3 years ago
- Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25☆16Feb 6, 2026Updated 8 months ago
- A CLI tool for interacting with SEV-SNP guest environment☆107Oct 26, 2026Updated last week
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆45Feb 15, 2024Updated 2 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An instrumentation tool to monitor queue depths in tokio channels☆11Oct 29, 2025Updated last year
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆32May 3, 2024Updated 2 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆147Feb 1, 2024Updated 2 years ago
- ☆22Jan 31, 2026Updated 9 months ago
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Updated this week
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆48Sep 25, 2026Updated last month
- Rust library for AMD SEV and SEV-SNP☆153Oct 16, 2026Updated 2 weeks ago