Stars
go-sev-guest offers a library to wrap the /dev/sev-guest device in Linux, as well as a library for attestation verification of fundamental components of an attestation report.
CoseSignTool is a platform-agnostic command line application to COSE sign files and validate COSE signatures. CoseHandler is a library of functions for COSE signing and validation for use by .NET a…
The SBOM tool is a highly scalable and enterprise ready tool to create SPDX 2.2 compatible SBOMs for any variety of artifacts.
A cross-platform `addr2line` clone written in Rust, using `gimli`
Intel® Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) API
A massively parallel, high-level programming language
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A new markup-based typesetting system that is powerful and easy to learn.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
a structural diff that understands syntax 🟥🟩
Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
A Rust implementation of the Starlark language
A fork and successor of the Sulley Fuzzing Framework
Backport CLI tool as a Github Action
Lean theorem proving interface which feels like pen-and-paper proofs.
TLA+ specification for the Raft consensus algorithm
Storage systems with verified correctness properties
Implements JWK,JWS,JWE specifications using python-cryptography
This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.
This is a workaround for the 8649 issue on github actions.
Dafny is a verification-aware programming language
⏰ 🔥 A TCP proxy to simulate network and system conditions for chaos and resiliency testing