Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Flexible Dynamic Information Flow Control in the Presence of Exceptions   We describe a new, dynamic, floating-label approach to language-based
information flow control. A labeled IO monad, LIO, keeps track of a current
label and permits restricted access to IO functionality. The current label
floats to exceed the labels of all data observed and restricts what can be
modified. Unlike other language-based work, LIO also bounds the current label
with a current clearance that provides a form of discretionary access control.
Computations may encapsulate and pass around the results of computations with
different labels. In addition, the LIO monad offers a simple form of labeled
mutable references and exception handling. We give precise semantics and prove
confidentiality and integrity properties of a call-by-name \lambda-calculus and
provide an implementation in Haskell.

26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
21
The categories of this paper are: adap-org
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph