
Tech
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.
Read the full discussion on HackerNoon
This article was aggregated from HackerNoon. Click to join the conversation.
View on HackerNoon