WebSpec - Towards Machine-Checked Analysis of Browser Security Mechanisms
Offered By: IEEE via YouTube
Course Description
Overview
Explore a 14-minute IEEE conference talk that delves into WebSpec, a groundbreaking approach for machine-checked analysis of browser security mechanisms. Learn from researchers Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, and Matteo Maffei as they present their findings on enhancing web browser security through automated verification techniques. Gain insights into the potential impact of WebSpec on improving the robustness and reliability of browser security features, and understand how this research contributes to the broader field of cybersecurity and web technology.
Syllabus
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Introduction to Statistics: InferenceUniversity of California, Berkeley via edX Pragmatic Randomized Controlled Trials in Health Care
Karolinska Institutet via edX Developing Your Research Project
University of Southampton via FutureLearn 實驗經濟學 (Experimental Economics: Behavioral Game Theory)
National Taiwan University via Coursera 中国古代史(大学先修课) | Ancient History of China
Peking University via edX