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
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera