verismo

A formally verified security module for AMD confidential VMs

MIT License

Stars
32
View Code on GitHub View on X
Ecosystems: TypeScript, Windows UI Library (WinUI), Playwright, VS Code Extension

Statistics for this project are still being loaded, please check back later.

Related Projects
teamstrace

01 Dec 2023 0
chiron

In Greek mythology, Chiron is a wise centaur known for his knowledge of medicine and healing.

09 Aug 2024 4
federal-ai-services

Secure AI Solutions

15 Aug 2024 3
azure-orbital-space-sdk-setup

04 Jun 2024 2
Windows-DevRel

A collection of artifacts and samples to help developers build on and for Windows.

13 Feb 2024 39
linux-package-repositories

Microsoft Packaged Linux Software (DEBs, RPMs, etc) are hosted on packages.microsoft.com (PMC) ma...

03 Mar 2022 66
verified-storage

Storage systems with verified correctness properties

13 Jun 2023 28
vstest-action

GitHub Action equivalent to the Azure DevOps VS Test Task

03 Mar 2022 11
omnichannel-amsclient

Microsoft Omnichannel AMSClient

15 Jul 2021 2
Linux-CommA

The Linux Commit Analyzer tracks patches from upstream and downstream kernels.

21 Apr 2020 8
openvmm

Home of OpenVMM and OpenHCL.

01 Mar 2024 1,449
PhoneticMatching

A phonetic matching library. Includes text utilities to do string comparisons on phonemes (the so...

21 Jun 2018 154
go-rustaudit

Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-a...

12 Jul 2022 15
regorus

Regorus - A fast, lightweight Rego (OPA policy language) interpreter written in Rust.

09 Feb 2023 140
apt-transport-blob

apt-transport-blob is a transport for apt that allows users to access an apt repository on Azure ...

04 Mar 2024 6