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

Online Jamming and Concert Technology
Stanford University via Kadenze
Comprendre la 4G
Institut Mines-Télécom via France Université Numerique
Desarrollo de Aplicaciones Web: Conceptos Básicos
University of New Mexico via Coursera
Introduction to TCP/IP
Yonsei University via Coursera
IT Support: Networking Essentials
Microsoft via edX