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

Information Security - Authentication and Access Control
New York University (NYU) via edX
Cryptography from Scratch| Master Cryptography in Java
Udemy
Ethical Hacking: Cryptography
LinkedIn Learning
Securing Data with Asymmetric Cryptography
Pluralsight
Windows Server Network Infrastructure
Microsoft via Microsoft Learn