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 Cyber Security
Uttarakhand Open University, Haldwani via Swayam
The Complete Cyber Security Course : Network Security!
Udemy
The Beginners 2024 Cyber Security Awareness Training Course
Udemy
Modern Browser Security Reports
Pluralsight
JavaScript Security Part 1
Infosec via Coursera