dfs333/trivysupplychainanalysis

PoC

Formally verified, quantitative reconstruction of the Trivy/TeamPCP GitHub Actions supply-chain attack (CVE-2026-33634): a TLA+/TLC incident model, PRISM probabilistic analysis, and a 189-workflow corpus study.

Exploit ansehen Quelle poc_in_githubAutor dfs333veröffentlicht 2026-07-15Katalog poc_in_github
01

ausgenutzte CVEs (1)

Zugehörige CVEs.

IDSchweregrad ausnutzbar
CVE-2026-33634UShigh8.8OT kritischKEV
Trivy is a security scanner. On March 19, 2026, a threat actor used compromised credentials to publish a malicious Trivy v0.69.4 release, force-push 76 of 77 version tags in `aquas…
scry

Funktionierende Exploits wie dieser zielen auf über das Internet erreichbare Systeme. Sehen Sie mit einem kostenlosen Passiv-Scan, was exponiert ist.

Kostenloser Scan