YoVDO

RHINE - Robust and High-performance Internet Naming with E2E Authenticity

Offered By: USENIX via YouTube

Tags

USENIX Symposium on Networked Systems Design and Implementation (NSDI) Courses Network Protocols Courses Formal Verification Courses PKI Courses DNSSec Courses

Course Description

Overview

Explore a conference talk presenting RHINE, a secure-by-design Internet naming system that addresses the vulnerabilities of DNS and DNSSEC. Learn how RHINE achieves end-to-end authentication, offloads zone delegation authentication to an end-entity PKI, and introduces Delegation Transparency for a robust trust model. Discover how this innovative approach can withstand compromises of all but one trusted entity and counter threats from superordinate zones. Gain insights into the formal verification of RHINE's security properties using the Tamarin prover and its practical implementation advantages demonstrated through a prototype.

Syllabus

NSDI '23 - RHINE: Robust and High-performance Internet Naming with E2E Authenticity


Taught by

USENIX

Related Courses

Cyberhacker Series: Honeypots, IDS and FW's
Udemy
Securing Windows Server 2016: Securing Network Infrastructure
LinkedIn Learning
Enumerating Active IPv6 Hosts for Large-Scale Security Scans via DNSSEC-Signed Reverse Zones
IEEE via YouTube
The Green Padlock of Doom, or Why No One Trusts Us Anymore
Security BSides London via YouTube
Securing DNSSEC with Ritual and Ceremony - How Neo-Victorians Keep Out Cads and Bounders
Security BSides San Francisco via YouTube