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 Cyber SecurityUttarakhand 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