trivy-dbaquasecurity/trivy-dbthreat-intelligenceutilities-frameworksvulnerability-analysis3437 days ago
trivysupplychainanalysisdfs333/trivysupplychainanalysisFormally verified, quantitative reconstruction of the Trivy/TeamPCP GitHub Actions supply-chain attack (CVE-2026-33634): a TLA+/TLC incident model,…educationpapers-researchsupply-chain-security+21 month ago