24 search results - page 1 / 5 » Analyzing Information Flow in JavaScript-Based Browser Exten... |
ACSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
JavaScript-based browser extensions (JSEs) enhance the core functionality of web browsers by improving their look and feel, and are widely available for commodity browsers. To ena...
USS
2010
13 years 2 months ago
2010
The browser has become the de facto platform for everyday computation. Among the many potential attacks that target or exploit browsers, vulnerabilities in browser extensions have...
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
EUSFLAT
2009
13 years 2 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
Through a variety of means, including a range of browser cache methods and inspecting the color of a visited hyperlink, client-side browser state can be exploited to track users a...