LO-FAT: Low-Overhead Control Flow ATtestation in Hardware

Attacks targeting software on embedded systems are becoming increasingly prevalent. Remote attestation is a mechanism that allows establishing trust in embedded devices. However, existing attestation schemes are either static and cannot detect control-flow attacks, or require instrumentation of software incurring high performance overheads. To overcome these limitations, we present LO-FAT, the first practical hardware-based approach to control-flow attestation. By leveraging existing processor hardware features and commonly-used IP blocks, our approach enables efficient control-flow attestation without requiring software instrumentation. We show that our proof-of-concept implementation based on a RISC-V SoC incurs no processor stalls and requires reasonable area overhead.Comment: Authors' pre-print version to appear in DAC 2017 proceeding

C-FLAT: Control-FLow ATtestation for Embedded Systems Software

Remote attestation is a crucial security service particularly relevant to increasingly popular IoT (and other embedded) devices. It allows a trusted party (verifier) to learn the state of a remote, and potentially malware-infected, device (prover). Most existing approaches are static in nature and only check whether benign software is initially loaded on the prover. However, they are vulnerable to run-time attacks that hijack the application's control or data flow, e.g., via return-oriented programming or data-oriented exploits. As a concrete step towards more comprehensive run-time remote attestation, we present the design and implementation of Control- FLow ATtestation (C-FLAT) that enables remote attestation of an application's control-flow path, without requiring the source code. We describe a full prototype implementation of C-FLAT on Raspberry Pi using its ARM TrustZone hardware security extensions. We evaluate C-FLAT's performance using a real-world embedded (cyber-physical) application, and demonstrate its efficacy against control-flow hijacking attacks.Comment: Extended version of article to appear in CCS '16 Proceedings of the 23rd ACM Conference on Computer and Communications Securit

Structural conservation of chemotaxis machinery across Archaea and Bacteria

Chemotaxis allows cells to sense and respond to their environment. In Bacteria, stimuli are detected by arrays of chemoreceptors that relay the signal to a two-component regulatory system. These arrays take the form of highly stereotyped super-lattices comprising hexagonally packed trimers-of-receptor-dimers networked by rings of histidine kinase and coupling proteins. This structure is conserved across chemotactic Bacteria, and between membrane-bound and cytoplasmic arrays, and gives rise to the highly cooperative, dynamic nature of the signalling system. The chemotaxis system, absent in eukaryotes, is also found in Archaea, where its structural details remain uncharacterized. Here we provide evidence that the chemotaxis machinery was not present in the last archaeal common ancestor, but rather was introduced in one of the waves of lateral gene transfer that occurred after the branching of Eukaryota but before the diversification of Euryarchaeota. Unlike in Bacteria, the chemotaxis system then evolved largely vertically in Archaea, with very few subsequent successful lateral gene transfer events. By electron cryotomography, we find that the structure of both membrane-bound and cytoplasmic chemoreceptor arrays is conserved between Bacteria and Archaea, suggesting the fundamental importance of this signalling architecture across diverse prokaryotic lifestyles

CryoEM structure of the type IVa pilus secretin required for natural competence in Vibrio cholerae

Natural transformation is the process by which bacteria take up genetic material from their environment and integrate it into their genome by homologous recombination. It represents one mode of horizontal gene transfer and contributes to the spread of traits like antibiotic resistance. In Vibrio cholerae, a type IVa pilus (T4aP) is thought to facilitate natural transformation by extending from the cell surface, binding to exogenous DNA, and retracting to thread this DNA through the outer membrane secretin, PilQ. Here, we use a functional tagged allele of VcPilQ purified from native V. cholerae cells to determine the cryoEM structure of the VcPilQ secretin in amphipol to ~2.7 Å. We use bioinformatics to examine the domain architecture and gene neighborhood of T4aP secretins in Proteobacteria in comparison with VcPilQ. This structure highlights differences in the architecture of the T4aP secretin from the type II and type III secretion system secretins. Based on our cryoEM structure, we design a series of mutants to reversibly regulate VcPilQ gate dynamics. These experiments support the idea of VcPilQ as a potential druggable target and provide insight into the channel that DNA likely traverses to promote the spread of antibiotic resistance via horizontal gene transfer by natural transformation

Oestrogen metabolites in relation to isoprostanes as a measure of oxidative stress

Objective  Oestradiol (E2) and its metabolites 2-hydroxyoestrone (2-OHE1) and 16Α-hydroxyoestrone (16Α-OHE1) are thought to curtail the greater oxidative stress found in the development and progression of disease conditions including atherosclerosis. We related oestrogen levels to F 2a -isoprostane levels, a biomarker of oxidative stress. Design and participants  Data were obtained from 1647 women, aged 47–57 years, participating in the fifth annual follow-up of the Study of Women's Health Across the Nation (SWAN), a study of the menopausal transition. Measurements  Serum E2 and urinary 2-OHE1 and 16Α-OHE1 concentrations were determined by enzyme-linked immunosorbent assay (ELISA) and urinary F 2a -isoprostanes were measured by enzyme immunoassay (EIA). Results  F 2a -isoprostane concentrations were elevated in women who smoked, a behaviour associated with increased oxidative stress, but not in stages of the natural menopause. Mean F 2a -isoprostane concentrations among pre- and postmenopausal women who smoked were 1082 and 1064 pg/ml, respectively, values double those in pre- (343 pg/ml) and postmenopausal (379 pg/ml) nonsmoking women. 2-OHE1 and F 2a -isoprostane concentrations were positively and highly correlated (partial correlations Ρ Y|X  = 0·44 and Ρ Y|X  = 0·43 in pre- and postmenopausal women, respectively). Similarly, 16Α-OHE1 concentrations were positively and highly correlated with F 2a -isoprostane concentrations (Ρ Y|X  = 0·52 and Ρ Y|X  = 0·59 in pre- and postmenopausal women, respectively). E2 was significantly correlated with F 2a -isoprostanes only in postmenopausal women (Ρ Y|X  = 0·20). Associations were adjusted for age, body mass index (BMI), race/ethnicity, lipids, physical activity level and alcohol consumption. Conclusions  This study does not support the commonly held hypothesis that levels of endogenous E2 or its oestrone metabolites favourably modify oxidative stress by decreasing F2 a -isoprostane levels.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/74943/1/j.1365-2265.2007.03108.x.pd

Candidemia after cardiac surgery in the intensive care unit: an observational study

Candidemia is a well-recognized complication of hospital stay, especially in critically ill patients. There is not a general consensus that predictors for candidemia in cardiosurgical intensive care unit (cICU) are different from a general ICU and it has been reported that cardiopulmonary bypass time is a specific risk factor in the cICU. We performed a prospective study to evaluate the main predictors for candidemia in patients admitted to the cICU. Included patients were adults admitted between July 2005 and December 2007 with an ICU-length of stay (ICU-LOS) ≥48 hours after cardiac surgery. Exclusion criteria were solid organ or bone marrow transplants, previous diagnosis of candidemia or other invasive infections and ICU stay before surgery. A multiple regression analysis was performed to identify the risk factors. Among 1955 patients admitted to the cICU, 345 were enrolled. Only 26 patients (1.3%) had candidemia after an ICU-LOS of 20 days (inter-quartile range, IQR 8-49 days). Total parenteral nutrition [odds ratio (OR) = 9.56; confidence interval (CI) = 1.741-52.534], severe sepsis (OR = 4.20; CI = 1.292-13.667), simplified acute physiology score II (OR = 1.16; CI = 1.052-1.278) and ICU-LOS >20 days (OR=6.38; CI = 1.971-20.660) were independent predictors of candidemia. Patients undergoing cardiac surgery developed candidemia late after cICU admission and the independent predictors were similar to the general ICU. © 2011 Published by European Association for Cardio-Thoracic Surgery

PHIBSS: molecular gas content and scaling relations in z~1-3 normal star forming galaxies

We present PHIBSS, the IRAM Plateau de Bure high-z blue sequence CO 3-2 survey of the molecular gas properties in normal star forming galaxies (SFGs) near the cosmic star formation peak. PHIBSS provides 52 CO detections in two redshift slices at z~1.2 and 2.2, with log(M*(M_solar))>10.4 and log(SFR(M_solar/yr))>1.5. Including a correction for the incomplete coverage of the M*-SFR plane, we infer average gas fractions of ~0.33 at z~1.2 and ~0.47 at z~2.2. Gas fractions drop with stellar mass, in agreement with cosmological simulations including strong star formation feedback. Most of the z~1-3 SFGs are rotationally supported turbulent disks. The sizes of CO and UV/optical emission are comparable. The molecular gas - star formation relation for the z=1-3 SFGs is near-linear, with a ~0.7 Gyrs gas depletion timescale; changes in depletion time are only a secondary effect. Since this timescale is much less than the Hubble time in all SFGs between z~0 and 2, fresh gas must be supplied with a fairly high duty cycle over several billion years. At given z and M*, gas fractions correlate strongly with the specific star formation rate. The variation of specific star formation rate between z~0 and 3 is mainly controlled by the fraction of baryonic mass that resides in cold gas.Comment: Submitted to the Astrophysical Journal; 14 figure

ESTRUTURA ACADÊMICA E A PRÁTICA EM SALA DE AULA EM UMA GRANDE UNIVERSIDADE PRIVADA DA CIDADE DE SÃO PAULO/SP: EXISTE CONVERGÊNCIA?

Este artigo apresenta um estudo a respeito das práticas de ensino-aprendizagem e sua adequação com o projeto político pedagógico (PPP) de em uma grande universidade privada na cidade de São Paulo/SP. O objetivo desse trabalho é verificar a dinâmica da sala de aula do professor, os recursos utilizados, a discussão na construção da aprendizagem, o planejamento do curso de administração de empresas, as conexões com o mercado no processo de aprendizagem e a avaliação do estudante. Na primeira parte desse estudo serão considerados como pilares teóricos os principais conceitos referentes aos elementos pedagógicos, tais como: planejamento do curso, metodologias, a necessidade do saber e avalição. A metodologia utilizada é qualitativa de caráter descritiva e como estratégia de análise de dados adota-se a análise de conteúdo. Neste estudo foram utilizadas duas fontes de informações: as observações do ambiente de aula e documentos da universidade a respeito de suas práticas pedagógicas coletando-se a mais completa sequência possível de dados pertinentes ao processo estudado. Na conclusão indicaram-se como fatores críticos a busca de uma identidade própria por parte dos professores e alunos na construção, integração e aplicação de teorias e práticas, buscando a uma consistência no aprendizado

Absence of the Z-disc protein α-actinin-3 impairs the mechanical stability of Actn3KO mouse fast-twitch muscle fibres without altering their contractile properties or twitch kinetics

Background: A common polymorphism (R577X) in the ACTN3 gene results in the complete absence of the Z-disc protein α-actinin-3 from fast-twitch muscle fibres in ~ 16% of the world’s population. This single gene polymorphism has been subject to strong positive selection pressure during recent human evolution. Previously, using an Actn3KO mouse model, we have shown in fast-twitch muscles, eccentric contractions at L0 + 20% stretch did not cause eccentric damage. In contrast, L0 + 30% stretch produced a significant ~ 40% deficit in maximum force; here, we use isolated single fast-twitch skeletal muscle fibres from the Actn3KO mouse to investigate the mechanism underlying this. Methods: Single fast-twitch fibres are separated from the intact muscle by a collagenase digest procedure. We use label-free second harmonic generation (SHG) imaging, ultra-fast video microscopy and skinned fibre measurements from our MyoRobot automated biomechatronics system to study the morphology, visco-elasticity, force production and mechanical strength of single fibres from the Actn3KO mouse. Data are presented as means ± SD and tested for significance using ANOVA. Results: We show that the absence of α-actinin-3 does not affect the visco-elastic properties or myofibrillar force production. Eccentric contractions demonstrated that chemically skinned Actn3KO fibres are mechanically weaker being prone to breakage when eccentrically stretched. Furthermore, SHG images reveal disruptions in the myofibrillar alignment of Actn3KO fast-twitch fibres with an increase in Y-shaped myofibrillar branching. Conclusions: The absence of α-actinin-3 from the Z-disc in fast-twitch fibres disrupts the organisation of the myofibrillar proteins, leading to structural weakness. This provides a mechanistic explanation for our earlier findings that in vitro intact Actn3KO fast-twitch muscles are significantly damaged by L0 + 30%, but not L0 + 20%, eccentric contraction strains. Our study also provides a possible mechanistic explanation as to why α-actinin-3-deficient humans have been reported to have a faster decline in muscle function with increasing age, that is, as sarcopenia reduces muscle mass and force output, the eccentric stress on the remaining functional α-actinin-3 deficient fibres will be increased, resulting in fibre breakages