rficcaglia / guardianLinks
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
Sorting:
- [EOL] test frameworks for testing kubernetes☆34Updated 5 years ago
- containerd shim for gVisor☆81Updated 4 years ago
- Kubernetes operator for Falco that allows developers to manage rules for detecting intruders and backdoors☆68Updated 4 years ago
- A Kubernetes Operator for managing multi-tenant workloads☆30Updated 6 years ago
- A Cluster API Provider implementation using docker containers as the infra provider. Cluster API locally for a change!☆53Updated 5 years ago
- ☆46Updated 6 years ago
- Sigstore Policy Controller - an admission controller that can be used to enforce policy on a Kubernetes cluster based on verifiable supp…☆132Updated this week
- ⭕️Snooping on the Kubernetes OpenAPI communications☆91Updated last week
- ☆122Updated this week
- Calico's datastore fan-out daemon.☆57Updated 2 years ago
- Kubernetes Mutating Webhook to inject Vault-Creds Sidecar into pods☆25Updated 3 months ago
- A curated list of awesome SPIFFE and SPIRE related things☆12Updated 10 months ago
- 🔍 Rekor transparency log monitoring and alerting☆27Updated last year
- Kubernetes Webhook Authenticator that allows for dynamic registration of OpenID Connect providers☆55Updated last month
- A highly configurable build executor and observer designed to generate signed SLSA provenance attestations about build runs.☆62Updated this week
- Kuberenetes e2e conformance container☆31Updated 5 years ago
- Provides agent and server plugins for SPIRE to allow TPM 2-based node attestation.☆81Updated last year
- This tool allows using a SPIFFE JWT to authenticate to AWS APIs☆34Updated last year
- A generic CNI library to provide APIs for CNI plugin interactions☆155Updated 4 months ago
- 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 4 months ago
- wasm oci image specification☆25Updated 4 years ago
- A transport-agnostic, filesystem metadata manifest system☆147Updated 3 months ago
- 🎟 Voucher creates attestations for Binary Authorization☆73Updated last month
- ☆75Updated 6 years ago
- Container Storage Interface components for SPIFFE☆61Updated last week
- SPIFFE Federation the easy way☆20Updated last month
- Go implementation for CNAB content trust verification using TUF, Notary, and in-toto☆31Updated last year
- Fast, templated, policy evaluation for networking, access, and admission control☆73Updated last year
- agent for handling seccomp descriptors for container runtimes☆46Updated last year