rficcaglia / guardian
Formal Verification of Cloud Native Components
☆9Updated 5 years ago
Alternatives and similar repositories for guardian:
Users that are interested in guardian are comparing it to the libraries listed below
- [EOL] test frameworks for testing kubernetes☆34Updated 5 years ago
- Provides agent and server plugins for SPIRE to allow TPM 2-based node attestation.☆76Updated last year
- ☆46Updated 5 years ago
- containerd shim for gVisor☆80Updated 4 years ago
- The Cluster Bundle: Declarative Kubernetes Cluster Management☆122Updated 6 months ago
- Go implementation for CNAB content trust verification using TUF, Notary, and in-toto☆31Updated last year
- Envoy External Authorization API Bridge To SPIFFE Workload API☆46Updated last month
- The SPIFFE Helper is a tool that can be used to retrieve and manage SVIDs on behalf of a workload☆46Updated this week
- This tool allows using a SPIFFE JWT to authenticate to AWS APIs☆34Updated 7 months ago
- netd: GKE Networking Daemonset☆57Updated this week
- Golang library for SPIFFE support☆154Updated 2 weeks ago
- A CLI to use a Google Cloud KMS key for PGP signing operations.☆43Updated 3 years ago
- 🎟 Voucher creates attestations for Binary Authorization☆73Updated last month
- A generic CNI library to provide APIs for CNI plugin interactions☆150Updated last week
- A curated list of awesome SPIFFE and SPIRE related things☆10Updated 5 months ago
- kubefs - A filesystem representation of Kubernetes resources☆12Updated 5 years ago
- K8S KMS Plugin for Google CloudKMS☆54Updated last month
- Openstorage support for Key Management Systems☆16Updated this week
- Generate, submit, approve, fetch, renew and purge certificates in Kubernetes☆41Updated 6 years ago
- Measurements and comparisons of nabla containers☆15Updated 5 years ago
- clientgofix rewrites calls to old k8s.io/client-go methods to use newer invocations☆43Updated 3 years ago
- OBSOLETE☆12Updated 10 months ago
- ☆64Updated 8 months ago
- vault-auth-spire is an authentication plugin for Hashicorp Vault which allows logging into Vault using a Spire provided SVID.☆42Updated last year
- A tool to help you migrate Kubernetes CustomResourceDefinition data across API groups and namespaces☆46Updated 3 years ago
- Security risk analysis for Kubernetes resources☆74Updated last year