all InfoSec news
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. (arXiv:2201.01649v1 [cs.CR])
Jan. 6, 2022, 2:20 a.m. | Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei
cs.CR updates on arXiv.org arxiv.org
The complexity of browsers has steadily increased over the years, driven by
the continuous introduction and update of Web platform components, such as
novel Web APIs and security mechanisms. Their specifications are manually
reviewed by experts to identify potential security issues. However, this
process has proved to be error-prone due to the extensiveness of modern browser
specifications and the interplay between new and existing Web platform
components. To tackle this problem, we developed WebSpec, the first formal
security framework for …
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
SOC 2 Manager, Audit and Certification
@ Deloitte | US and CA Multiple Locations
Advisory Red Consultant
@ Security Risk Advisors | Philadelphia, Pennsylvania, United States
Cyber Business Transformation Change Analyst
@ National Grid | Warwick, GB, CV34 6DA
Cyber Security Analyst
@ Ford Motor Company | Mexico City, MEX, Mexico
Associate Administrator, Cyber Security Governance (Fort Myers)
@ Millennium Physician Group | Fort Myers, FL, United States
Embedded GSOC Lead Operator, Events
@ Sibylline Ltd | Seattle, WA, United States