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

Structure factors of harmonic and anharmonic Fibonacci chains by molecular dynamics simulations

The dynamics of quasicrystals is characterized by the existence of phason excitations in addition to the usual phonon modes. In order to investigate their interplay on an elementary level we resort to various one-dimensional model systems. The main observables are the static, the incoherent, and the coherent structure factor, which are extracted from molecular dynamics simulations. For the validation of the algorithms, results for the harmonic periodic chain are presented. We then study the Fibonacci chain with harmonic and anharmonic interaction potentials. In the dynamic Fibonacci chain neighboring atoms interact by double-well potentials allowing for phason flips. The difference between the structure factors of the dynamic and the harmonic Fibonacci chain lies in the temperature dependence of the phonon line width. If a bias is introduced in the well depth, dispersionless optic phonon bands split off.Comment: 12 pages, 15 figure

Role of Boron p-Electrons and Holes in Superconducting MgB2, and other Diborides: A Fully-Relaxed, Full-Potential Electronic Structure Study

We present the results of fully-relaxed, full-potential electronic structure calculations for the new superconductor MgB2, and BeB2, NaB2, and AlB2, using density-functional-based methods. Our results described in terms of (i) density of states (DOS), (ii) band-structure, and (iii) the DOS and the charge density around the Fermi energy EF, clearly show the importance of B p-band for superconductivity. In particular, we show that around EF, the charge density in MgB2, BeB2 and NaB2 is planar and is associated with the B plane. For BeB2 and NaB2, our results indicate qualitative similarities but significant quantitative differences in their electronic structure due to different lattice constants a and c.Comment: 4 pages, 4 figures, Submitted to Phys Rev. Lett. on March 6, 2001; resubmission on April 2

Comment on ``Reduction of static field equation of Faddeev model to first order PDE'', arXiv:0707.2207

The authors of the article Phys. Lett. B 652 (2007) 384, (arXiv:0707.2207), propose an interesting method to solve the Faddeev model by reducing it to a set of first order PDEs. They first construct a vectorial quantity $\bm \alpha$, depending on the original field and its first derivatives, in terms of which the field equations reduce to a linear first order equation. Then they find vectors $\bm \alpha_1$ and $\bm \alpha_2$ which identically obey this linear first order equation. The last step consists in the identification of the $\bm \alpha_i$ with the original $\bm \alpha$ as a function of the original field. Unfortunately, the derivation of this last step in the paper cited above contains an error which invalidates most of its results

Hereditary hydrocephalus internus in a laboratory strain of golden hamsters (Mesocricetus auratus)

Golden hamsters of one common laboratory strain had a high incidence of hydrocephalus internus. When a severity score of hydrocephalus was used, a major autosomal recessive locus could be identified. However, when a binary score (hydrocephalus, no hydrocephalus) was used, no such major locus could be detected and results of test matings were not consistent with Mendelian inheritance. Golden hamsters with severe forms of hydrocephalus had a dorsally compressed and ventrally intact hippocampus. Implications for the behavior and well-being of affected hamsters are unknown but researchers using this strain should be aware of the likely presence of hydrocephalu

Finding home: the final step of the pigeons' homing process studied with a GPS data logger

Experiments have shown that homing pigeons are able to develop navigational abilities even if reared and kept confined in an aviary, provided that they are exposed to natural winds. These and other experiments performed on inexperienced birds have shown that previous homing experiences are not necessary to determine the direction of displacement. While the cues used in the map process for orienting at the release site have been extensively investigated, the final step of the homing process has received little attention by researchers. Although there is general agreement on the relevance of visual cues in navigation within the home area, there is a lack of clear evidence. In order to investigate the final step of the homing process, we released pigeons raised under confined conditions and others that had been allowed to fly freely around the loft and compared their flight paths recorded with a Global-Positioning-System logger. Our data show that a limited view of the home area impairs the pigeons' ability to relocate the loft at their first homing flight, suggesting that the final step of the homing process is mediated via recognition of familiar visual landmarks in the home area

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

Deep learning-based parameter mapping for joint relaxation and diffusion tensor MR Fingerprinting

Magnetic Resonance Fingerprinting (MRF) enables the simultaneous quantification of multiple properties of biological tissues. It relies on a pseudo-random acquisition and the matching of acquired signal evolutions to a precomputed dictionary. However, the dictionary is not scalable to higher-parametric spaces, limiting MRF to the simultaneous mapping of only a small number of parameters (proton density, T1 and T2 in general). Inspired by diffusion-weighted SSFP imaging, we present a proof-of-concept of a novel MRF sequence with embedded diffusion-encoding gradients along all three axes to efficiently encode orientational diffusion and T1 and T2 relaxation. We take advantage of a convolutional neural network (CNN) to reconstruct multiple quantitative maps from this single, highly undersampled acquisition. We bypass expensive dictionary matching by learning the implicit physical relationships between the spatiotemporal MRF data and the T1, T2 and diffusion tensor parameters. The predicted parameter maps and the derived scalar diffusion metrics agree well with state-of-the-art reference protocols. Orientational diffusion information is captured as seen from the estimated primary diffusion directions. In addition to this, the joint acquisition and reconstruction framework proves capable of preserving tissue abnormalities in multiple sclerosis lesions

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