FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery

The goal of the FOREVER project is to develop a service for Fault/intrusiOn REmoVal through Evolution & Recovery. In order to achieve this goal, our work addresses three main tasks: the definition of the FOREVER service architecture; the analysis of how diversity techniques can improve resilience; and the evaluation of the FOREVER service. The FOREVER service is an important contribution to intrustion-tolerant replication middleware and significantly enhances the resilience

Squeezing superfluid from a stone: Coupling superfluidity and elasticity in a supersolid

In this work we start from the assumption that normal solid to supersolid (NS-SS) phase transition is continuous, and develop a phenomenological Landau theory of the transition in which superfluidity is coupled to the elasticity of the crystalline $^4$He lattice. We find that the elasticity does not affect the universal properties of the superfluid transition, so that in an unstressed crystal the well-known $\lambda$-anomaly in the heat capacity of the superfluid transition should also appear at the NS-SS transition. We also find that the onset of supersolidity leads to anomalies in the elastic constants near the transition; conversely, inhomogeneous strains in the lattice can induce local variations of the superfluid transition temperature, leading to a broadened transition.Comment: 4 page

Glamdring: automatic application partitioning for Intel SGX

Trusted execution support in modern CPUs, as offered by Intel SGX enclaves , can protect applications in untrusted environments. While prior work has shown that legacy applications can run in their entirety inside enclaves, this results in a large trusted computing base (TCB). Instead, we explore an approach in which we partition an applica- tion and use an enclave to protect only security-sensitive data and functions, thus obtaining a smaller TCB. We describe Glamdring , the first source-level parti- tioning framework that secures applications written in C using Intel SGX. A developer first annotates security- sensitive application data. Glamdring then automatically partitions the application into untrusted and enclave parts: (i) to preserve data confidentiality, Glamdring uses dataflow analysis to identify functions that may be ex- posed to sensitive data; (ii) for data integrity, it uses back- ward slicing to identify functions that may affect sensitive data. Glamdring then places security-sensitive functions inside the enclave, and adds runtime checks and crypto- graphic operations at the enclave boundary to protect it from attack. Our evaluation of Glamdring with the Mem- cached store, the LibreSSL library, and the Digital Bitbox bitcoin wallet shows that it achieves small TCB sizes and has acceptable performance overheads

Hydrodynamics of Spatially Ordered Superfluids

We derive the hydrodynamic equations for the supersolid and superhexatic phases of a neutral two-dimensional Bose fluid. We find, assuming that the normal part of the fluid is clamped to an underlying substrate, that both phases can sustain third-sound modes and that in the supersolid phase there are additional modes due to the superfluid motion of point defects (vacancies and interstitials).Comment: 24 pages of ReVTeX and 7 uuencoded figures. Submitted for publication in Phys. Rev.

Determination of the Michel Parameters rho, xi, and delta in tau-Lepton Decays with tau --> rho nu Tags

Using the ARGUS detector at the $e^+ e^-$ storage ring DORIS II, we have measured the Michel parameters $\rho$, $\xi$, and $\xi\delta$ for $\tau^{\pm}\to l^{\pm} \nu\bar\nu$ decays in $\tau$-pair events produced at center of mass energies in the region of the $\Upsilon$ resonances. Using $\tau^\mp \to \rho^\mp \nu$ as spin analyzing tags, we find $\rho_{e}=0.68\pm 0.04 \pm 0.08$, $\xi_{e}= 1.12 \pm 0.20 \pm 0.09$, $\xi\delta_{e}= 0.57 \pm 0.14 \pm 0.07$, $\rho_{\mu}= 0.69 \pm 0.06 \pm 0.08$, $\xi_{\mu}= 1.25 \pm 0.27 \pm 0.14$ and $\xi\delta_{\mu}= 0.72 \pm 0.18 \pm 0.10$. In addition, we report the combined ARGUS results on $\rho$, $\xi$, and $\xi\delta$ using this work und previous measurements.Comment: 10 pages, well formatted postscript can be found at http://pktw06.phy.tu-dresden.de/iktp/pub/desy97-194.p

Bichromatic atomic lens

We investigate the focusing of three-level atoms with a bichromatic standing wave laser field, using both classical and quantum treatments of the problem. We find that, for the appropriate ratio of detunings to Rabi frequencies, the atoms will experience a periodic potential which is close to harmonic across half an optical wavelength. The field thus becomes equivalent to a periodic array of microlenses, which could be utilized to deposit lines of atoms upon a substrate. We consider and compare two regimes, differentiated by the interaction time of the atoms in the optical field. The first case considered, the Raman-Nath regime, is analogous to the thin lens regime in classical optics. The second case treats the transverse atomic motion within the light field, and investigates the distribution of atoms upon a substrate placed within the field. We investigate the extent to which this case can be modeled classically

Aging Studies for the Large Honeycomb Drift Tube System of the Outer Tracker of HERA-B

The HERA-B Outer Tracker consists of drift tubes folded from polycarbonate foil and is operated with Ar/CF4/CO2 as drift gas. The detector has to stand radiation levels which are similar to LHC conditions. The first prototypes exposed to radiation in HERA-B suffered severe radiation damage due to the development of self-sustaining currents (Malter effect). In a subsequent extended R&D program major changes to the original concept for the drift tubes (surface conductivity, drift gas, production materials) have been developed and validated for use in harsh radiation environments. In the test program various aging effects (like Malter currents, gain loss due to anode aging and etching of the anode gold surface) have been observed and cures by tuning of operation parameters have been developed.Comment: 14 pages, 6 figures, to be published in the Proceedings of the International Workshop On Aging Phenomena In Gaseous Detectors, 2-5 Oct 2001, Hamburg, German

The Outer Tracker Detector of the HERA-B Experiment Part I: Detector

The HERA-B Outer Tracker is a large system of planar drift chambers with about 113000 read-out channels. Its inner part has been designed to be exposed to a particle flux of up to 2.10^5 cm^-2 s^-1, thus coping with conditions similar to those expected for future hadron collider experiments. 13 superlayers, each consisting of two individual chambers, have been assembled and installed in the experiment. The stereo layers inside each chamber are composed of honeycomb drift tube modules with 5 and 10 mm diameter cells. Chamber aging is prevented by coating the cathode foils with thin layers of copper and gold, together with a proper drift gas choice. Longitudinal wire segmentation is used to limit the occupancy in the most irradiated detector regions to about 20 %. The production of 978 modules was distributed among six different laboratories and took 15 months. For all materials in the fiducial region of the detector good compromises of stability versus thickness were found. A closed-loop gas system supplies the Ar/CF4/CO2 gas mixture to all chambers. The successful operation of the HERA-B Outer Tracker shows that a large tracker can be efficiently built and safely operated under huge radiation load at a hadron collider.Comment: 28 pages, 14 figure

The Outer Tracker Detector of the HERA-B Experiment. Part II: Front-End Electronics

The HERA-B Outer Tracker is a large detector with 112674 drift chamber channels. It is exposed to a particle flux of up to 2x10^5/cm^2/s thus coping with conditions similar to those expected for the LHC experiments. The front-end readout system, based on the ASD-8 chip and a customized TDC chip, is designed to fulfil the requirements on low noise, high sensitivity, rate tolerance, and high integration density. The TDC system is based on an ASIC which digitizes the time in bins of about 0.5 ns within a total of 256 bins. The chip also comprises a pipeline to store data from 128 events which is required for a deadtime-free trigger and data acquisition system. We report on the development, installation, and commissioning of the front-end electronics, including the grounding and noise suppression schemes, and discuss its performance in the HERA-B experiment

Quasi-linear magnetoresistance in an almost 2D band structure

We present a theoretical study of the orbital magnetoresistance in a unixial anisotropic metal within the relaxation-time approximation. The appearance of a new dimensionless scale, delta=4t_perp/epsilon_F, allows the possibility of a new region at intermediate fields where the magnetoresistance is linear in applied magnetic field for currents flowing along the unixial direction. (Here, t_perp characterizes the bandwidth along the unixial direction.) In the limit of large anisotropy (small delta), corresponding to a quasi-two-dimensional metal made up of weakly coupled layers, we obtain an analytic expression for the magnetoresistance valid for all magnetic fields. We test our analytic results numerically and we compare our expressions with the c-axis magnetoresistance of Sr_2RuO_4.Comment: 7 pages Latex (revtex4 and epsf) 4 postscript figures included. Replaced with published version which includes more details and a fit to dat