This paper provides an economic assessment of export credit guarantee commitments by the Austrian export credit agency, using firm-level data on a cross-section of 178 Austrian exporting firms for the year 2008. In a first step, we estimate the relative importance of various determinants of export guarantee usage. Results suggest that the most crucial determinants are: firm size, whether or not...

The intention of this paper is to extend the generic component framework presented at FASE 2002 [EOB+02] to allow component verification based on export-import implications. In the generic component framework components with explicit import, export interfaces and a body specification connected by embeddings and transformations provide hierarchical composition of components with a compositional ...

Smartphone users often use private and enterprise data with untrusted third party applications. The fundamental lack of secrecy guarantees in smartphone OSes, such as Android, exposes this data to the risk of unauthorized exfiltration. A natural solution is the integration of secrecy guarantees into the OS. In this paper, we describe the challenges for decentralized information flow control (DI...