GHSA-8gw7-4j42-w388: Cosign bundle can be crafted to successfully verify a blob even if the embedded rekorBundle does not reference the given signature
SummaryA number of vulnerabilities have been found in `cosign verify-blob`, where Cosign would successfully verify an artifact when verification should have failed.Vulnerability 1: Bundle mismatch causes invalid verification.SummaryA cosign bundle can be crafted to successfully verify a blob even if the embedded rekorBundle does not reference the given signature.DetailsCosign supports "bundles" which intend to allow offline verification of the signature and rekor inclusion. By using the --bundle flag in cosign sign-blob, cosign will create a JSON file called a "bundle". These bundles include three fields: base64Signature, cert, and rekorBundle. The desired behavior is that the verification of these bundles would:verify the provided blob using the included signature and certificateverify the rekorBundle SETverify the rekorBundle payload references the given artifact.It appears that step three is not being performed, allowing "any old rekorBundle" to pass validation, even if the rekorBundle payload does not reference the provided blob or the certificate and signature in the rekorBundle do not match those at the top level.Steps to reproduceEnable keyless signing:Create two random blobs:Sign each blob:Create a falsified bundle including the base64Signature and cert fields from bundle1 and the rekorBundle from bundle2:Now, the falsified bundle can be used to verify blob1:PatchesUsers should update to the latest version of Cosign, `1.12.0`.WorkaroundIf you extract the signature and certificate from the `bundle`, you may use it for verification as follows and avoid using an invalid bundle:Note that this will make a network call to Rekor to fetch the Rekor entry. However, you may then be subject to Vulnerability 4.Vulnerability 2: Certificate Identities are not checked in some casesSummaryWhen providing identity flags, the email and issuer of a certificate is not checked when verifying a Rekor bundle, and the GitHub Actions identity is never checked.DetailsUsers who provide an offline Rekor bundle (`--bundle`) when verifying a blob using `cosign verify-blob` and include flags that check identity such as `--certificate-email` and `--certificate-oidc-issuer` are impacted. Additionally, users who provide the GitHub Actions verification flags such as `--certificate-github-workflow-name` when running `cosign verify-blob` without a bundle, key reference, or certificate are impacted.When providing these flags, Cosign ignored their values. If a certificate's identity did not match the provided flags, Cosign would still successfully verify the blob.PatchesUsers should update to the latest version of Cosign, `1.12.0`.WorkaroundsThere are no workarounds, users should update.Vulnerability 3: Invalid Rekor bundle without the experimental flag will result in successful verificationSummaryProviding an invalid Rekor bundle without the experimental flag results in a successful verification.DetailsUsers who provide an offline Rekor bundle (`--bundle`) that was invalid (invalid signed entry timestamp, expired certificate, or malformed) when verifying a blob with `cosign verify-blob` and do not set the `COSIGN_EXPERIMENTAL=1` flag are impacted.When an invalid bundle was provided, Cosign would fallback to checking Rekor log inclusion by requesting proof of inclusion from the log. However, without the `COSIGN_EXPERIMENTAL` flag, Cosign would exit early and successfully verify the blob.PatchesUsers should update to the latest version of Cosign, `1.12.0`.WorkaroundsThere are no workarounds, users should update.Vulnerability 4: Invalid transparency log entry will result in successful verificationSummaryAn invalid transparency log entry will result in immediate success for verification.DetailsUsers who provide a signature and certificate to `verify-blob` will fetch the associated Rekor entry for verification. If the returned entry was invalid (invalid signed entry timestamp, invalid inclusion proof, malformed entry with missing verification), then `cosign` [exits](https://github.com/sigstore/cosign/blob/42c6e2a6dd9d92d19077c8e6b7d66d155a5ea28c/cmd/cosign/cli/verify/verify_blob.go#L357) early and succeeds unconditionally.PatchesUsers should update to the latest version of Cosign, `1.12.0`.WorkaroundsThere are no workarounds, users should update.For more informationIf you have any questions or comments about this advisory:Open an issue in [cosign](https://github.com/sigstore/cosign)Send us a message on [Slack](https://sigstore.slack.com/).
CVSS v3.1: 5.5