Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions

DOI10.1007/978-3-662-46669-8_21MaRDI QIDQ2802451zbMATH OpenOpenAlexFDO

Authors Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.705.3473

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Towards fine-grained access control on browser extensions
• scientific article; zbMATH DE number 2080968
• A Universally Composable Framework for the Analysis of Browser-Based Security Protocols
• DETECTING DOM-BASED XSS VULNERABILITIES USING DEBUG API OF THE MODERN WEB-BROWSER

Cited in

(2)

• Towards fine-grained access control on browser extensions
• Formal methods for web security

Describes a project that uses

Uses Software

• JavaScript

This page was built for publication: Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802451)