Verified Drop in Replacements for TLS & HTTPS
Offered By: TheIACR via YouTube
Course Description
Overview
Explore an invited talk by Cedric Fournet, presented at Crypto 2017 in conjunction with Computer Security Foundations, delving into verified drop-in replacements for TLS and HTTPS protocols. Gain insights into cutting-edge research and developments in cryptographic protocols and their practical applications in secure communication systems.
Syllabus
Verified Drop in Replacements for TLS&HTTPS
Taught by
TheIACR
Related Courses
Applied CryptographyUniversity of Virginia via Udacity Cryptography II
Stanford University via Coursera Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera Cryptography I
Stanford University via Coursera Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera