A Formal Treatment of Accountable Proxying over TLS
Offered By: IEEE via YouTube
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 CommunicationRaspberry 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