Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Information Flow Control in WebKit's JavaScript Bytecode   Websites today routinely combine JavaScript from multiple sources, both
trusted and untrusted. Hence, JavaScript security is of paramount importance. A
specific interesting problem is information flow control (IFC) for JavaScript.
In this paper, we develop, formalize and implement a dynamic IFC mechanism for
the JavaScript engine of a production Web browser (specifically, Safari's
WebKit engine). Our IFC mechanism works at the level of JavaScript bytecode and
hence leverages years of industrial effort on optimizing both the source to
bytecode compiler and the bytecode interpreter. We track both explicit and
implicit flows and observe only moderate overhead. Working with bytecode
results in new challenges including the extensive use of unstructured control
flow in bytecode (which complicates lowering of program context taints),
unstructured exceptions (which complicate the matter further) and the need to
make IFC analysis permissive. We explain how we address these challenges,
formally model the JavaScript bytecode semantics and our instrumentation, prove
the standard property of termination-insensitive non-interference, and present
experimental results on an optimized prototype.

3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph