Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions

DOI10.1007/978-3-662-46669-8_21zbMath1335.68047OpenAlexW2294912735MaRDI QIDQ2802451

Enrico Steffinlongo, Stefano Calzavara, Silvia Crafa, Michele Bugliesi

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)

Related Items (1)

Formal methods for web security

Uses Software

• JavaScript

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