Control-Flow Integrity for Real-Time Embedded Systems

Attacks on real-time embedded systems can endanger lives and critical infrastructure. Despite this, techniques for securing embedded systems software have not been widely studied. Many existing security techniques for general-purpose computers rely on assumptions that do not hold in the embedded case. This paper focuses on one such technique, control-flow integrity (CFI), that has been vetted as an effective countermeasure against control-flow hijacking attacks on general-purpose computing systems. Without the process isolation and fine-grained memory protections provided by a general-purpose computer with a rich operating system, CFI cannot provide any security guarantees. This work proposes RECFISH, a system for providing CFI guarantees on ARM Cortex-R devices running minimal real-time operating systems. We provide techniques for protecting runtime structures, isolating processes, and instrumenting compiled ARM binaries with CFI protection. We empirically evaluate RECFISH and its performance implications for real-time systems. Our results suggest RECFISH can be directly applied to binaries without compromising real-time performance; in a test of over six million realistic task systems running FreeRTOS, 85% were still schedulable after adding RECFISH

Basal body stability and ciliogenesis requires the conserved component Poc1

Centrioles are the foundation for centrosome and cilia formation. The biogenesis of centrioles is initiated by an assembly mechanism that first synthesizes the ninefold symmetrical cartwheel and subsequently leads to a stable cylindrical microtubule scaffold that is capable of withstanding microtubule-based forces generated by centrosomes and cilia. We report that the conserved WD40 repeat domain–containing cartwheel protein Poc1 is required for the structural maintenance of centrioles in Tetrahymena thermophila. Furthermore, human Poc1B is required for primary ciliogenesis, and in zebrafish, DrPoc1B knockdown causes ciliary defects and morphological phenotypes consistent with human ciliopathies. T. thermophila Poc1 exhibits a protein incorporation profile commonly associated with structural centriole components in which the majority of Poc1 is stably incorporated during new centriole assembly. A second dynamic population assembles throughout the cell cycle. Our experiments identify novel roles for Poc1 in centriole stability and ciliogenesis

Recent climatic and anthropogenic imprints on lacustrine systems in the Pyrenean Mountains inferred from minerogenic and organic clastic supply (Vicdessos valley, Pyrenees, France)

High-resolution seismic profiling has been combined with geochemical analyses of both watershed samples and five lacustrine cores retrieved from two natural lacustrine basins of glacial origin: Lake Majeur and Lake Sigriou (1630 m a.s.l. and 1995 m a.s.l., respectively, Eastern French Pyrenees). Identifying specific minerogenic and organic markers of autochthonous and allochthonous supply, data allow documenting past climatic and anthropogenic pressures. Over the past century, the lacustrine sediment of Lake Majeur has been essentially composed of algae, drastically contrasting with the natural sedimentary infill of the basin, mainly resulting from soil erosion from the mid–late Holocene. Since ad 1907, the Lake Majeur has been used for hydroelectricity production. Human-induced lake-level regulations, affecting up to 37% of the lacustrine surface, have increased by fourfold the accumulation rate of the lake and favoured water enrichment. Rubidium abundance within the lacustrine sediments of the two lakes reflects the mid–late Holocene palaeohydrology. After dam construction in ad 1907, greater quantities of rubidium found in Lake Majeur sedimentary infills indicate drier climatic periods, such as from ad 1975 to ad 1982, during which water reservoirs were particularly in demand. Inversely, before the dam was built, rubidium fluctuations were correlated with wetter conditions and hydrological events were recorded as sandy layers deposited by canyon reactivation, synchronous with European climatic deterioration phases. We notably document that the Mediaeval Climate Anomaly was interrupted by some humid periods dated c. ad 940, ad 1080, ad 1100 and ad 1250. We also date the onset of the ‘Little Ice Age’ c. ad 1360 and identify that this period was wetter after c. ad 1500

Distal and proximal family predictors of adolescents' smoking initiation and development: A longitudinal latent curve model analysis

<p>Abstract</p> <p>Background</p> <p>Studies on adolescent smoking indicate that the smoking behaviours of their parents, siblings and friends are significant micro-level predictors. Parents' socioeconomic status (SES) is an important macro-level predictor. We examined the longitudinal relationships between these predictors and the initiation and development of adolescents' smoking behaviour in Norway.</p> <p>Methods</p> <p>We employed data from <it>The Norwegian Longitudinal Health Behaviour Study (NLHB)</it>, in which participants were followed from the age of 13 to 30. We analysed data from the first 5 waves, covering the age span from 13 to 18, with latent curve modeling (LCM).</p> <p>Results</p> <p>Smoking rates increased from 3% to 31% from age 13 to age 18. Participants' smoking was strongly associated with their best friends' smoking. Parental SES, parents' smoking and older siblings' smoking predicted adolescents' initial level of smoking. Furthermore, the same variables predicted the development of smoking behaviour from age 13 to 18. Parents' and siblings' smoking behaviours acted as mediators of parents' SES on the smoking habits of adolescents.</p> <p>Conclusions</p> <p>Parents' SES was significantly associated, directly and indirectly, with both smoking initiation and development. Parental and older siblings' smoking behaviours were positively associated with both initiation and development of smoking behaviour in adolescents. There were no significant gender differences in these associations.</p

Training face perception in developmental prosopagnosia through perceptual learning

Background: Recent work has shown that perceptual learning can improve face discrimination in subjects with acquired prosopagnosia. Objective: In this study, we administered the same program to determine if such training would improve face perception in developmental prosopagnosia.Method: We trained ten subjects with developmental prosopagnosia for several months with a program that required shape discrimination between morphed facial images, using a staircase procedure to keep training near each subject’s perceptual threshold. To promote ecological validity, training progressed from blocks of neutral faces in frontal view through increasing variations in view and expression. Five subjects did 11 weeks of a control television task before training, and the other five were re-assessed for maintenance of benefit 3 months after training. Results: Perceptual sensitivity for faces improved after training but did not improve after the control task. Improvement generalized to untrained expressions and views of these faces, and there was some evidence of transfer to new faces. Benefits were maintained over three months. Training also led to improvements on standard neuropsychological tests of short-term familiarity, and some subjects reported positive effects in daily life.Conclusion: We conclude that perceptual learning can lead to persistent improvements in face discrimination in developmental prosopagnosia. The strong generalization suggests that learning is occurring at the level of three-dimensional representations with some invariance for the dynamic effects of expression

Interaction of Variable Bacterial Outer Membrane Lipoproteins with Brain Endothelium

Previously we reported that the variable outer membrane lipoprotein Vsp1 from the relapsing fever spirochete Borrelia turicatae disseminates from blood to brain better than the closely related Vsp2 [1]. Here we studied the interaction between Vsp1 and Vsp2 with brain endothelium in more detail.We compared Vsp1 to Vsp2 using human brain microvascular endothelial cell (HBMEC) association assays with aminoacid radiolabeled Vsp-expressing clones of recombinant Borrelia burgdorferi and lanthanide-labeled purified lipidated Vsp1 (LVsp1) and Vsp2 (LVsp2) and inoculations of the lanthanide-labeled proteins into mice. The results showed that heterologous expression of LVsp1 or LVsp2 in B. burgdorferi increased its association with HBMEC to a similar degree. Purified lanthanide-labeled lipidated Vsp1 (LVsp1) and LVsp2 by themselves were capable of associating with HBMEC. The association of LVsp1 with brain endothelium was time-dependent, saturable, and required the lipidation. The association of Vsp1 with HBMEC was inhibited by incubation at lower temperature or with excess unlabeled LVsp1 or LVsp2 but not with excess rVsp1 or mouse albumin or an anti Vsp1 monoclonal antibody. The association of LVsp2 with HBMEC and its movement from blood to brain parenchyma significantly increased in the presence of LVsp1.Variable bacterial outer membrane lipoproteins interact with brain endothelium differently; the lipidation and variable features at the protein dome region are key modulators of this interaction

Between-group competition elicits within-group cooperation in children

Aggressive interactions between groups are frequent in human societies and can bear significant fitness costs and benefits (e.g. death or access to resources). During between-group competitive interactions, more cohesive groups (i.e. groups formed by individuals who cooperate in group defence) should out-perform less cohesive groups, other factors being equal (e.g. group size). The cost/benefit of between-group competition are thought to have driven correlated evolution of traits that favour between-group aggression and within-group cooperation (e.g. parochial altruism). Our aim was to analyse whether the proximate relationship between between-group competition and within-group cooperation is found in 3–10 years old children and the developmental trajectory of such a relationship. We used a large cohort of children (n = 120) and tested whether simulated between-group competition increased within-group cooperation (i.e. how much of a resource children were giving to their group companions) in two experiments. We found greater within-group cooperation when groups of four children were competing with other groups then in the control condition (no between-group competition). Within-group cooperation increased with age. Our study suggests that parochial altruism and in-group/out-group biases emerge early during the course of human development

Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics

A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN