1sealsemantic last-mile verification

Research / Finding

Bug fixes ported from 2026.1

F-AMD-BOOTGEN-003

Public snapshot: 26 Sep 2026. Status, releases and attribution belong to each source below; none is inferred from another record.

Read the evidence · View in research browse

Recorded evidence

—score not recorded
Xilinx/bootgenReported fixXilinx/bootgen

Bug fixes ported from 2026.1

fixed publicly (functional bug, no CVE)
details
Finding IDs
F-AMD-BOOTGEN-003
Status
fixed publicly (functional bug, no CVE)
Reported via
AMD PSIRT
Note
AMD tracked SWSPLAT-9457 as a functional bug rather than a CVE. public commit d06a738b6e99 on 2026-06-01 updates the Versal verify path so unauthenticated images fail closed when neither the image header table nor any partition has authentication metadata, closing the bootgen -arch versal -verify false-positive behavior reported in F-AMD-BOOTGEN-003.

F-AMD-BOOTGEN-003: Verification failures. The verify path reports success without the required authentication certificate. Reviewed 24 Sep 2026. Mechanism assessed by 1seal.

Mechanism source for F-AMD-BOOTGEN-003

Security area (1seal assessment): Integrity. Boot image verification now rejects an image with no authentication certificate rather than reporting successful authentication. Reviewed 21 Sep 2026.

Clarify or correct this record privately. The email subject includes the finding ID. For an existing case, continue the agreed private thread. Do not post unpublished vulnerability details in public issues. Research disclosure policy.

How this page groups evidence

This identifier groups recorded evidence; it is not an additional CVE, independent-vulnerability count or guarantee of vendor confirmation. Fixed code, released versions, attribution and independent discovery are distinct claims. Absent metadata means not recorded, not disproved. Counting rules.