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.☆77Updated last year
- vault-auth-spire is an authentication plugin for Hashicorp Vault which allows logging into Vault using a Spire provided SVID.☆42Updated last year
- This tool allows using a SPIFFE JWT to authenticate to AWS APIs☆34Updated 8 months ago
- containerd shim for gVisor☆81Updated 4 years ago
- The SPIFFE Helper is a tool that can be used to retrieve and manage SVIDs on behalf of a workload☆49Updated this week
- ☆46Updated 5 years ago
- ☆14Updated 5 years ago
- K8S KMS Plugin for Google CloudKMS☆56Updated 3 weeks ago
- Kuberenetes e2e conformance container☆31Updated 5 years ago
- Istio identity with SPIFFE/SPIRE☆19Updated 4 years ago
- Kubernetes operator for Falco that allows developers to manage rules for detecting intruders and backdoors☆68Updated 4 years ago
- A go library for developing an Open Service Broker☆28Updated 3 years ago
- Container Storage Interface components for SPIFFE☆57Updated last month
- A set of system-oriented validators for kubeadm preflight checks.☆37Updated last month
- A generic CNI library to provide APIs for CNI plugin interactions☆152Updated last month
- Tools for kubernetes pod network tapping☆42Updated 5 years ago
- A Cluster API Provider implementation using docker containers as the infra provider. Cluster API locally for a change!☆52Updated 5 years ago
- A tool to help you upgrade Cluster API v1alpha2 clusters☆33Updated 3 years ago
- Golang library for SPIFFE support☆154Updated last week
- ☆20Updated 6 months ago
- A simulator toolkit for Knative☆30Updated 3 years ago
- Kubernetes Webhook Authenticator that allows for dynamic registration of OpenID Connect providers☆53Updated last week
- A kubectl plugin which triggers a Sysdig capture☆99Updated last year
- ☆75Updated 5 years ago
- [DEPRECATED] Commandline tool to manage Service Catalog lifecycle and GCP Service Broker atop Kubernetes Cluster☆69Updated 5 years ago
- A highly configurable build executor and observer designed to generate signed SLSA provenance attestations about build runs.☆60Updated this week
- ⭕️Snooping on the Kubernetes OpenAPI communications☆90Updated this week
- A tool to help you migrate Kubernetes CustomResourceDefinition data across API groups and namespaces☆46Updated 3 years ago
- clientgofix rewrites calls to old k8s.io/client-go methods to use newer invocations☆43Updated 3 years ago