YoVDO

A Formal Treatment of Accountable Proxying over TLS

Offered By: IEEE via YouTube

Tags

IEEE Symposium on Security and Privacy Courses Network Security Courses Secure Communication Courses Protocol Design Courses TLS Courses

Course Description

Overview

Explore a formal analysis of accountable proxying over TLS in this 21-minute IEEE conference talk presented at the 2018 IEEE Symposium on Security & Privacy. Delve into the vulnerabilities of active proxies modifying channel-securing protocols like TLS, and examine the lack of accountability in middlebox operations. Learn about the mcTLS protocol's pioneering approach to proxy accountability and its security flaws. Discover a new formalization for accountable proxying over secure channels and a provably-secure alternative to mcTLS. Gain insights into a generic, modular protocol design that composes secure channel-establishment protocols, and examine a proof-of-concept implementation using unmodified TLS 1.3.

Syllabus

A Formal Treatment of Accountable Proxying over TLS


Taught by

IEEE Symposium on Security and Privacy

Tags

Related Courses

Networking with Python: Socket Programming for Communication
Raspberry Pi Foundation via FutureLearn
How to Do Fiat-Shamir in the Standard Model
Simons Institute via YouTube
Partially Specified Channels- The TLS 1.3 Record Layer Without Elision
Association for Computing Machinery (ACM) via YouTube
Asiacrypt 2022 Real World Protocols
TheIACR via YouTube
Blazing Fast OT for Three-Round UC OT Extension
TheIACR via YouTube