YoVDO

WebSpec - Towards Machine-Checked Analysis of Browser Security Mechanisms

Offered By: IEEE via YouTube

Tags

IEEE Symposium on Security and Privacy Courses Formal Methods Courses Research Methodology Courses Browser Security Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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: Inference
University 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