Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: ADsafety: Type-Based Verification of JavaScript Sandboxing   Web sites routinely incorporate JavaScript programs from several sources into
a single page. These sources must be protected from one another, which requires
robust sandboxing. The many entry-points of sandboxes and the subtleties of
JavaScript demand robust verification of the actual sandbox source. We use a
novel type system for JavaScript to encode and verify sandboxing properties.
The resulting verifier is lightweight and efficient, and operates on actual
source. We demonstrate the effectiveness of our technique by applying it to
ADsafe, which revealed several bugs and other weaknesses.

6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg