JavaScript is used by web developers to enhance the interactivity of their sites, offload work
to the users' browsers and improve their sites' responsiveness and user-friendliness, making …

(63) Continuation-in-part of application No. 13/554,603, Assistant Evominer Shanto
MAbedin filedon Jul. 20, 2012, now Pat No. 8,516,601, which is (74) Attorney, Agent, or Firm …

Abstract Information-flow control tracks how information propagates through the program
during execution to make sure that the program handles the information securely. Secure …

The inclusion of third-party scripts in web pages is a common practice. A recent study has
shown that more than half of the Alexa top 10000 sites include scripts from more than 5 …

This is an introduction to multicast routing, which is the study of methods for routing from one
source to many destinations, or from many sources to many destinations. Multicast is …

We introduce a novel approach to implementing a browser-based tool for web users to
protect their privacy. We propose to monitor the behaviors of JavaScript code within a …

Web sites routinely incorporate JavaScript programs from several sources into a single
page. These sources must be protected from one another, which requires robust …

JavaScript's flexible semantics makes writing correct code hard and writing secure code
extremely difficult. To address the former problem, various forms of gradual typing have …

Extant security mechanisms for web apps, notably the" same-origin policy", are not sufficient
to achieve confidentiality and integrity goals for the many apps that manipulate sensitive …

In the last decade, the Internet landscape has transformed from a mostly static world into
Web 2.0, where the use of web applications and mashups has become a daily routine for …