TrustShadow: Secure Execution of Unmodified Applications with ARM TrustZone

The rapid evolution of Internet-of-Things (IoT) technologies has led to an emerging need to make it smarter. A variety of applications now run simultaneously on an ARM-based processor. For example, devices on the edge of the Internet are provided with higher horsepower to be entrusted with storing, processing and analyzing data collected from IoT devices. This significantly improves efficiency and reduces the amount of data that needs to be transported to the cloud for data processing, analysis and storage. However, commodity OSes are prone to compromise. Once they are exploited, attackers can access the data on these devices. Since the data stored and processed on the devices can be sensitive, left untackled, this is particularly disconcerting. In this paper, we propose a new system, TrustShadow that shields legacy applications from untrusted OSes. TrustShadow takes advantage of ARM TrustZone technology and partitions resources into the secure and normal worlds. In the secure world, TrustShadow constructs a trusted execution environment for security-critical applications. This trusted environment is maintained by a lightweight runtime system that coordinates the communication between applications and the ordinary OS running in the normal world. The runtime system does not provide system services itself. Rather, it forwards requests for system services to the ordinary OS, and verifies the correctness of the responses. To demonstrate the efficiency of this design, we prototyped TrustShadow on a real chip board with ARM TrustZone support, and evaluated its performance using both microbenchmarks and real-world applications. We showed TrustShadow introduces only negligible overhead to real-world applications.Comment: MobiSys 201

FeynGame

A java-based graphical tool for drawing Feynman diagrams is presented. It differs from similar existing tools in various respects. For example, it is based on models, consisting of particles (lines) and (optionally) vertices, each of which can be given their individual properties (line style, color, arrows, label, etc.). The diagrams can be exported in any standard image format, or as PDF. Aside from its plain graphical aspect, the goal of FeynGame is also educative, as it can check a Feynman diagrams validity. This provides the basis to play games with diagrams, for example. Here we describe on such game where a given set of initial and final states must be connected through a Feynman diagram within a given interaction model.Comment: 26 pages, several figures and screenshots. FeynGame is available from https://gitlab.com/feyngame/FeynGam

Parallel suppression of superconductivity and Fe moment in the collapsed tetragonal phase of Ca0.67Sr0.33Fe2As2 under pressure

Using non-resonant Fe K-beta x-ray emission spectroscopy, we reveal that Sr-doping of CaFe2As2 decouples the Fe moment from the volume collapse transition, yielding a collapsed-tetragonal, paramagnetic normal state out of which superconductivity develops. X-ray diffraction measurements implicate the c-axis lattice parameter as the controlling criterion for the Fe moment, promoting a generic description for the appearance of pressure-induced superconductivity in the alkaline-earth-based 122 ferropnictides (AFe2As2). The evolution of the superconducting critical temperature with pressure lends support to theories for superconductivity involving unconventional pairing mediated by magnetic fluctuations

Topography and instability of monolayers near domain boundaries

We theoretically study the topography of a biphasic surfactant monolayer in the vicinity of domain boundaries. The differing elastic properties of the two phases generally lead to a nonflat topography of ``mesas'', where domains of one phase are elevated with respect to the other phase. The mesas are steep but low, having heights of up to 10 nm. As the monolayer is laterally compressed, the mesas develop overhangs and eventually become unstable at a surface tension of about K(dc)^2 (dc being the difference in spontaneous curvature and K a bending modulus). In addition, the boundary is found to undergo a topography-induced rippling instability upon compression, if its line tension is smaller than about K(dc). The effect of diffuse boundaries on these features and the topographic behavior near a critical point are also examined. We discuss the relevance of our findings to several experimental observations related to surfactant monolayers: (i) small topographic features recently found near domain boundaries; (ii) folding behavior observed in mixed phospholipid monolayers and model lung surfactants; (iii) roughening of domain boundaries seen under lateral compression; (iv) the absence of biphasic structures in tensionless surfactant films.Comment: 17 pages, 9 figures, using RevTeX and epsf, submitted to Phys Rev

Compromised OX40 function in CD28-deficient mice is linked with failure to develop CXC chemokine receptor 5-positive CD4 cells and germinal centers

Mice rendered deficient in CD28 signaling by the soluble competitor, cytotoxic T lymphocyte-associated molecule 4-immunoglobulin G1 fusion protein (CTLA4-Ig), fail to upregulate OX40 expression in vivo or form germinal centers after immunization. This is associated with impaired interleukin 4 production and a lack of CXC chemokine receptor (CXCR)5 on CD4 T cells, a chemokine receptor linked with migration into B follicles. Germinal center formation is restored in CTLA4-Ig transgenic mice by coinjection of an agonistic monoclonal antibody to CD28, but this is substantially inhibited if OX40 interactions are interrupted by simultaneous injection of an OX40-Ig fusion protein. These data suggest that CD28-dependent OX40 ligation of CD4 T cells at the time of priming is linked with upregulation of CXCR5 expression, and migration of T cells into B cell areas to support germinal center formation

Cerebral magnetic resonance elastography in supranuclear palsy and idiopathic Parkinson's disease

Detection and discrimination of neurodegenerative Parkinson syndromes are challenging clinical tasks and the use of standard T1- and T2-weighted cerebral magnetic resonance (MR) imaging is limited to exclude symptomatic Parkinsonism. We used a quantitative structural MR-based technique, MR-elastography (MRE), to assess viscoelastic properties of the brain, providing insights into altered tissue architecture in neurodegenerative diseases on a macroscopic level. We measured single-slice multifrequency MRE (MMRE) and three-dimensional MRE (3DMRE) in two neurodegenerative disorders with overlapping clinical presentation but different neuropathology — progressive supranuclear palsy (PSP: N = 16) and idiopathic Parkinson's disease (PD: N = 18) as well as in controls (N = 18). In PSP, both MMRE (Δμ = − 28.8%, Δα = − 4.9%) and 3DMRE (Δ|G*|: − 10.6%, Δφ: − 34.6%) were significantly reduced compared to controls, with a pronounced reduction within the lentiform nucleus (Δμ = − 34.6%, Δα = − 8.1%; Δ|G*|: − 7.8%, Δφ: − 44.8%). MRE in PD showed a comparable pattern, but overall reduction in brain elasticity was less severe reaching significance only in the lentiform nucleus (Δμ n.s., Δα = − 7.4%; Δ|G*|: − 6.9%, Δφ: n.s.). Beyond that, patients showed a close negative correlation between MRE constants and clinical severity. Our data indicate that brain viscoelasticity in PSP and PD is differently affected by the underlying neurodegeneration; whereas in PSP all MRE constants are reduced and changes in brain softness (reduced μ and |G*|) predominate those of viscosity (α and φ) in PD