{"podcast":{"title":"Cybersecurity Tech Brief By HackerNoon","slug":"cybersecurity-tech-brief-by-hackernoon-6365646","podcast_index_feed_id":6365646,"rss_url":"https://feeds.transistor.fm/cybersecurity-tech-brief-by-hackernoon","website_url":"https://hackernoon.com/c/cybersecurity","image_url":"https://img.transistorcdn.com/FGIwueC9IDCZTR6LxgKkyddWnFNh4fbI5rAnEZblWk8/rs:fill:0:0:1/w:1400/h:1400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9zaG93/LzQxMjY2LzE2ODM1/ODIzNTYtYXJ0d29y/ay5qcGc.jpg","author":"HackerNoon","episode_count":100,"summary":"Learn the latest Cybersecurity updates in the tech world.","last_synced_at":"2026-07-18T18:18:14.433062+00:00","page_url":"https://stenobird.com/podcast/cybersecurity-tech-brief-by-hackernoon-6365646"},"episode":{"title":"Attested TLS Was Supposed to Be the Last Trust Boundary. It Isn't. Formal Methods Show How.","slug":"attested-tls-was-supposed-to-be-the-last-trust-boundary-it-isn-t-formal-methods-show-how","published_at":"2026-07-13T16:01:29+00:00","page_url":"https://stenobird.com/podcast/cybersecurity-tech-brief-by-hackernoon-6365646/attested-tls-was-supposed-to-be-the-last-trust-boundary-it-isn-t-formal-methods-show-how","show_page_url":"https://stenobird.com/podcast/cybersecurity-tech-brief-by-hackernoon-6365646","url":"https://share.transistor.fm/s/420e4cee","audio_url":"https://media.transistor.fm/420e4cee/42992e1f.mp3","summary":"This story was originally published on HackerNoon at: https://hackernoon.com/attested-tls-was-supposed-to-be-the-last-trust-boundary-it-isnt-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. Check more stories related to cybersecurity at: https://hackernoon.com/c/cybersecurity . You can also check exclusive content about #cybersecurity , #cyber-threats , #confidential-computing , #cve , #open-source , #ietf , #ai-cyber-security , #hackernoon-top-story , and more. This story was written by: @salkimmich . Learn more about this writer by checking @salkimmich's about page, and for more stories, please visit hackernoon.com . A relay attack breaks attested TLS, the mechanism confidential computing uses to prove a secure cloud enclave is genuine. Formal verification found it in Meta's WhatsApp privacy system, Edgeless Systems' Contrast, Cocos AI, and three IETF draft standards, none of which a prior manual security audit caught. It's tracked as CVE-2026-33697 (CVSS 7.5), with three more related CVEs near 9.1 still in disclosure.","meta_description":"This story was originally published on HackerNoon at: https://hackernoon.com/attested-tls-was-supposed-to-be-the-last-trust-boundary-it-isnt-formal-method…","key_points":[],"chapters":[],"topics":[],"duration_seconds":1512,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/cybersecurity-tech-brief-by-hackernoon-6365646/episodes/attested-tls-was-supposed-to-be-the-last-trust-boundary-it-isn-t-formal-methods-show-how/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/cybersecurity-tech-brief-by-hackernoon-6365646/attested-tls-was-supposed-to-be-the-last-trust-boundary-it-isn-t-formal-methods-show-how.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}