SGXIO: Generic Trusted I/O Path for Intel SGX

Application security traditionally strongly relies upon security of the underlying operating system. However, operating systems often fall victim to software attacks, compromising security of applications as well. To overcome this dependency, Intel introduced SGX, which allows to protect application code against a subverted or malicious OS by running it in a hardware-protected enclave. However, SGX lacks support for generic trusted I/O paths to protect user input and output between enclaves and I/O devices. This work presents SGXIO, a generic trusted path architecture for SGX, allowing user applications to run securely on top of an untrusted OS, while at the same time supporting trusted paths to generic I/O devices. To achieve this, SGXIO combines the benefits of SGX's easy programming model with traditional hypervisor-based trusted path architectures. Moreover, SGXIO can tweak insecure debug enclaves to behave like secure production enclaves. SGXIO surpasses traditional use cases in cloud computing and makes SGX technology usable for protecting user-centric, local applications against kernel-level keyloggers and likewise. It is compatible to unmodified operating systems and works on a modern commodity notebook out of the box. Hence, SGXIO is particularly promising for the broad x86 community to which SGX is readily available.Comment: To appear in CODASPY'1

Increasing subsurface water storage in discontinuous permafrost areas of the Lena River basin, Eurasia, detected from GRACE

We use monthly measurements of time-variable gravity from the GRACE (Gravity Recovery and Climate Experiment) satellite mission to quantify changes in terrestrial water storage (TWS) in the Lena river basin, Eurasia, during the period April 2002 to September 2010. We estimate a TWS increase of 32 ± 10 km3/yr for the entire basin, equivalent to an increase in water thickness of 1.3 ± 0.4 cm/yr over a basin of 2.4 million km2. We compare TWS estimates from GRACE with time series of precipitation (P) minus evapotranspiration (ET) from ERA-Interim reanalysis minus observational river discharge (R). We find an excellent agreement in annual and inter-annual variability between the two time series. Furthermore, we find that a bias of −20 ± 10% in P-ET is sufficient to effectively close the water budget with GRACE. When we account for this bias, the time series of cumulative TWS from GRACE and climatological data agree to within ±3.8 cm of water thickness, or ±9% of the mean annual P. The TWS increase is not uniform across the river basin and exhibits a peak, over an area of 502,400 km2, centered at 118.5°E, 62.5°N, and underlain by discontinuous permafrost. In this region, we attribute the observed TWS increase of 68 ± 19 km3 to an increase in subsurface water storage. This large subsurface water signal will have a significant impact on the terrestrial hydrology of the region, including increased baseflow and alteration of seasonal runoff

Light scattering and phase behavior of Lysozyme-PEG mixtures

Measurements of liquid-liquid phase transition temperatures (cloud points) of mixtures of a protein (lysozyme) and a polymer, poly(ethylene glycol) (PEG) show that the addition of low molecular weight PEG stabilizes the mixture whereas high molecular weight PEG was destabilizing. We demonstrate that this behavior is inconsistent with an entropic depletion interaction between lysozyme and PEG and suggest that an energetic attraction between lysozyme and PEG is responsible. In order to independently characterize the lysozyme/PEG interactions, light scattering experiments on the same mixtures were performed to measure second and third virial coefficients. These measurements indicate that PEG induces repulsion between lysozyme molecules, contrary to the depletion prediction. Furthermore, it is shown that third virial terms must be included in the mixture's free energy in order to qualitatively capture our cloud point and light scattering data. The light scattering results were consistent with the cloud point measurements and indicate that attractions do exist between lysozyme and PEG.Comment: 5 pages, 2 figures, 1 tabl

Slow Schroedinger dynamics of gauged vortices

Multivortex dynamics in Manton's Schroedinger--Chern--Simons variant of the Landau-Ginzburg model of thin superconductors is studied within a moduli space approximation. It is shown that the reduced flow on M_N, the N vortex moduli space, is hamiltonian with respect to \omega_{L^2}, the L^2 Kaehler form on \M_N. A purely hamiltonian discussion of the conserved momenta associated with the euclidean symmetry of the model is given, and it is shown that the euclidean action on (M_N,\omega_{L^2}) is not hamiltonian. It is argued that the N=3 flow is integrable in the sense of Liouville. Asymptotic formulae for \omega_{L^2} and the reduced Hamiltonian for large intervortex separation are conjectured. Using these, a qualitative analysis of internal 3-vortex dynamics is given and a spectral stability analysis of certain rotating vortex polygons is performed. Comparison is made with the dynamics of classical fluid point vortices and geostrophic vortices.Comment: 22 pages, 2 figure

Magnetic Catalysis in AdS4

We study the formation of fermion condensates in Anti de Sitter space. In particular, we describe a novel version of magnetic catalysis that arises for fermions in asymptotically AdS4 geometries which cap off in the infra-red with a hard wall. We show that the presence of a magnetic field induces a fermion condensate in the bulk that spontaneously breaks CP symmetry. From the perspective of the dual boundary theory, this corresponds to a strongly coupled version of magnetic catalysis in d=2+1.Comment: 22 pages, 4 figures. v2: References added, factors of 2 corrected, extra comments added in appendix. v3: extra comments about fermion modes in a hard wall background. v4: A final factor of

Non-integrability of Self-dual Yang-Mills-Higgs System

We examine integrability of self-dual Yang-Mills system in the Higgs phase, with taking simpler cases of vortices and domain walls. We show that the vortex equations and the domain-wall equations do not have Painleve property. This fact suggests that these equations are not integrable.Comment: 15 pages, no figures, v2: references added, v3: typos corrected, the final version to appear in NP

The partition function of the supersymmetric two-dimensional black hole and little string theory

We compute the partition function of the supersymmetric two-dimensional Euclidean black hole geometry described by the SL(2,R)/U(1) superconformal field theory. We decompose the result in terms of characters of the N=2 superconformal symmetry. We point out puzzling sectors of states besides finding expected discrete and continuous contributions to the partition function. By adding an N=2 minimal model factor of the correct central charge and projecting on integral N=2 charges we compute the partition function of the background dual to little string theory in a double scaling limit. We show the precise correspondence between this theory and the background for NS5-branes on a circle, due to an exact description of the background as a null gauging of SL(2,R) x SU(2). Finally, we discuss the interplay between GSO projection and target space geometry.Comment: JHEP class, 35 pages, no figures; v2: minor changes, typos corrected, published versio

Dynamics and Kinetic Roughening of Interfaces in Two-Dimensional Forced Wetting

We consider the dynamics and kinetic roughening of wetting fronts in the case of forced wetting driven by a constant mass flux into a 2D disordered medium. We employ a coarse-grained phase field model with local conservation of density, which has been developed earlier for spontaneous imbibition driven by a capillary forces. The forced flow creates interfaces that propagate at a constant average velocity. We first derive a linearized equation of motion for the interface fluctuations using projection methods. From this we extract a time-independent crossover length $\xi_\times$, which separates two regimes of dissipative behavior and governs the kinetic roughening of the interfaces by giving an upper cutoff for the extent of the fluctuations. By numerically integrating the phase field model, we find that the interfaces are superrough with a roughness exponent of $\chi = 1.35 \pm 0.05$, a growth exponent of $\beta = 0.50 \pm 0.02$, and $\xi_\times \sim v^{-1/2}$ as a function of the velocity. These results are in good agreement with recent experiments on Hele-Shaw cells. We also make a direct numerical comparison between the solutions of the full phase field model and the corresponding linearized interface equation. Good agreement is found in spatial correlations, while the temporal correlations in the two models are somewhat different.Comment: 9 pages, 4 figures, submitted to Eur.Phys.J.