Attested TLS Was Supposed to Be the Last Trust Boundary. It Isn’t. Formal Methods Show How.

Formal methods researchers at TU Dresden found a relay attack in attested TLS. It hits Meta, Cocos AI, Edgeless Systems, and three IETF drafts.