Certified compilation for cryptography: Extended x86 instructions and constant-time verification

We present a new tool for the generation and verification of high-assurance high-speed machine-level cryptography implementations: a certified C compiler supporting instruction extensions to the x86. We demonstrate the practical applicability of our tool by incorporating it into supercop: a toolkit for measuring the performance of cryptographic software, which includes over 2000 different implementations. We show i. that the coverage of x86 implementations in supercop increases significantly due to the added support of instruction extensions via intrinsics and ii. that the obtained verifiably correct implementations are much closer in performance to unverified ones. We extend our compiler with a specialized type system that acts at pre-assembly level; this is the first constant-time verifier that can deal with extended instruction sets. We confirm that, by using instruction extensions, the performance penalty for verifiably constant-time code can be greatly reduced.This work is financed by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within the project PTDC/CCI-INF/31698/2017, and by the Norte Portugal Regional Operational Programme (NORTE 2020) under the Portugal 2020 Partnership Agreement, through the European Regional Development Fund (ERDF) and also by national funds through the FCT, within project NORTE-01-0145-FEDER-028550 (REASSURE)

Quantum memory for entangled two-mode squeezed states

A quantum memory for light is a key element for the realization of future quantum information networks. Requirements for a good quantum memory are (i) versatility (allowing a wide range of inputs) and (ii) true quantum coherence (preserving quantum information). Here we demonstrate such a quantum memory for states possessing Einstein-Podolsky-Rosen (EPR) entanglement. These multi-photon states are two-mode squeezed by 6.0 dB with a variable orientation of squeezing and displaced by a few vacuum units. This range encompasses typical input alphabets for a continuous variable quantum information protocol. The memory consists of two cells, one for each mode, filled with cesium atoms at room temperature with a memory time of about 1msec. The preservation of quantum coherence is rigorously proven by showing that the experimental memory fidelity 0.52(2) significantly exceeds the benchmark of 0.45 for the best possible classical memory for a range of displacements.Comment: main text 5 pages, supplementary information 3 page

Interleukin-1 regulates multiple atherogenic mechanisms in response to fat feeding

Background: Atherosclerosis is an inflammatory process that develops in individuals with known risk factors that include hypertension and hyperlipidaemia, influenced by diet. However, the interplay between diet, inflammatory mechanisms and vascular risk factors requires further research. We hypothesised that interleukin-1 (IL-1) signaling in the vessel wall would raise arterial blood pressure and promote atheroma. Methodology/Principal Findings: Apoe(-/-) and Apoe(-/-)/IL-1R1(-/-) mice were fed high fat diets for 8 weeks, and their blood pressure and atherosclerosis development measured. Apoe(-/-)/IL-R1(-/-) mice had a reduced blood pressure and significantly less atheroma than Apoe(-/-) mice. Selective loss of IL-1 signaling in the vessel wall by bone marrow transplantation also reduced plaque burden (p<0.05). This was associated with an IL-1 mediated loss of endothelium-dependent relaxation and an increase in vessel wall Nox 4. Inhibition of IL-1 restored endothelium-dependent vasodilatation and reduced levels of arterial oxidative stress. Conclusions/Significance: The IL-1 cytokine system links atherogenic environmental stimuli with arterial inflammation, oxidative stress, increased blood pressure and atherosclerosis. This is the first demonstration that inhibition of a single cytokine can block the rise in blood pressure in response to an environmental stimulus. IL-1 inhibition may have profound beneficial effects on atherogenesis in man

A two-domain elevator mechanism for sodium/proton antiport

Sodium/proton (Na+/H+) antiporters, located at the plasma membrane in every cell, are vital for cell homeostasis1. In humans, their dysfunction has been linked to diseases, such as hypertension, heart failure and epilepsy, and they are well-established drug targets2. The best understood model system for Na+/H+ antiport is NhaA from Escherichia coli1, 3, for which both electron microscopy and crystal structures are available4, 5, 6. NhaA is made up of two distinct domains: a core domain and a dimerization domain. In the NhaA crystal structure a cavity is located between the two domains, providing access to the ion-binding site from the inward-facing surface of the protein1, 4. Like many Na+/H+ antiporters, the activity of NhaA is regulated by pH, only becoming active above pH 6.5, at which point a conformational change is thought to occur7. The only reported NhaA crystal structure so far is of the low pH inactivated form4. Here we describe the active-state structure of a Na+/H+ antiporter, NapA from Thermus thermophilus, at 3 Å resolution, solved from crystals grown at pH 7.8. In the NapA structure, the core and dimerization domains are in different positions to those seen in NhaA, and a negatively charged cavity has now opened to the outside. The extracellular cavity allows access to a strictly conserved aspartate residue thought to coordinate ion binding1, 8, 9 directly, a role supported here by molecular dynamics simulations. To alternate access to this ion-binding site, however, requires a surprisingly large rotation of the core domain, some 20° against the dimerization interface. We conclude that despite their fast transport rates of up to 1,500 ions per second3, Na+/H+ antiporters operate by a two-domain rocking bundle model, revealing themes relevant to secondary-active transporters in general

MMP-3 in the peripheral serum as a biomarker of knee osteoarthritis, 40 years after open total knee meniscectomy.

BACKGROUND: To explore potential biomarkers in a meniscectomy-induced knee osteoarthritis model, at forty years after meniscectomy. METHODS: We carried out a forty-year study of 53 patients who, as adolescents, underwent open total meniscectomy and assessed two potential synovial and serum biomarkers, namely glycosaminoglycan (GAG) and matrix metalloproteinase-3 (MMP-3). Of the 30 patients available for review, 8 had contralateral knee operations and were excluded. Of the remaining 22 patients, 17 had successful operated knee synovial fluid aspirations and 8 also had successful contralateral control knee aspirations. GAG and MMP3 levels in the synovial fluid and peripheral serum was measured using Alcian blue precipitation and ELISA quantification, respectively. Patients also had their knee radiographs assessed and their radiographic osteoarthritis classified as per the Kellgren-Lawrence and Ahlbӓck systems. RESULTS: At forty years after meniscectomy, synovial MMP-3 levels remain increased (p = 0.0132) while GAG levels were reduced (p = 0.0487) when compared to controls and these two levels correlate inversely. Furthermore, levels of synovial MMP-3 significantly correlated (p = 0.0032, r = 0.7734; p = 0.0256, r = 0.5552) and GAG levels significantly inversely correlated (p = 0.0308, r = - 0.6220; p = 0.0135, r = - 0.6024), respectively, with both radiological scoring systems. Interestingly, we found that the levels of serum MMP-3 correlated only with the synovial fluid levels of MMP-3 in the operated knee and not with the non-operated joint (p = 0.0252, r = 0.7706 vs. p = 0.0764, r = 0.6576). Multiple regression analysis for patient's quality of life based on these biomarkers revealed an almost perfect result with an R2 of 0.9998 and a p value = 0.0087. CONCLUSION: Our results suggest that serum levels of MMP3 could be used as a potential biomarker for knee osteoarthritis, using a simple blood test. Larger cohorts are desirable in order to prove or disprove this finding

Cell Surface Sialylation and Fucosylation Are Regulated by L1 via Phospholipase Cγ and Cooperate to Modulate Neurite Outgrowth, Cell Survival and Migration

BACKGROUND: Cell surface glycosylation patterns are markers of cell type and status. However, the mechanisms regulating surface glycosylation patterns remain unknown. METHODOLOGY/PRINCIPAL FINDINGS: Using a panel of carbohydrate surface markers, we have shown that cell surface sialylation and fucosylation were downregulated in L1(-/y) neurons versus L1(+/y) neurons. Consistently, mRNA levels of sialyltransferase ST6Gal1, and fucosyltransferase FUT9 were significantly reduced in L1(-/y) neurons. Moreover, treatment of L1(+/y) neurons with L1 antibodies, triggering signal transduction downstream of L1, led to an increase in cell surface sialylation and fucosylation compared to rat IgG-treated cells. ShRNAs for both ST6Gal1 and FUT9 blocked L1 antibody-mediated enhancement of neurite outgrowth, cell survival and migration. A phospholipase Cgamma (PLCgamma) inhibitor and shRNA, as well as an Erk inhibitor, reduced ST6Gal1 and FUT9 mRNA levels and inhibited effects of L1 on neurite outgrowth and cell survival. CONCLUSIONS: Neuronal surface sialylation and fucosylation are regulated via PLCgamma by L1, modulating neurite outgrowth, cell survival and migration

Molecular and cellular mechanisms underlying the evolution of form and function in the amniote jaw.

The amniote jaw complex is a remarkable amalgamation of derivatives from distinct embryonic cell lineages. During development, the cells in these lineages experience concerted movements, migrations, and signaling interactions that take them from their initial origins to their final destinations and imbue their derivatives with aspects of form including their axial orientation, anatomical identity, size, and shape. Perturbations along the way can produce defects and disease, but also generate the variation necessary for jaw evolution and adaptation. We focus on molecular and cellular mechanisms that regulate form in the amniote jaw complex, and that enable structural and functional integration. Special emphasis is placed on the role of cranial neural crest mesenchyme (NCM) during the species-specific patterning of bone, cartilage, tendon, muscle, and other jaw tissues. We also address the effects of biomechanical forces during jaw development and discuss ways in which certain molecular and cellular responses add adaptive and evolutionary plasticity to jaw morphology. Overall, we highlight how variation in molecular and cellular programs can promote the phenomenal diversity and functional morphology achieved during amniote jaw evolution or lead to the range of jaw defects and disease that affect the human condition

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

Neural and Synaptic Defects in slytherin, a Zebrafish Model for Human Congenital Disorders of Glycosylation

Congenital disorder of glycosylation type IIc (CDG IIc) is characterized by mental retardation, slowed growth and severe immunodeficiency, attributed to the lack of fucosylated glycoproteins. While impaired Notch signaling has been implicated in some aspects of CDG IIc pathogenesis, the molecular and cellular mechanisms remain poorly understood. We have identified a zebrafish mutant slytherin (srn), which harbors a missense point mutation in GDP-mannose 4,6 dehydratase (GMDS), the rate-limiting enzyme in protein fucosylation, including that of Notch. Here we report that some of the mechanisms underlying the neural phenotypes in srn and in CGD IIc are Notch-dependent, while others are Notch-independent. We show, for the first time in a vertebrate in vivo, that defects in protein fucosylation leads to defects in neuronal differentiation, maintenance, axon branching, and synapse formation. Srn is thus a useful and important vertebrate model for human CDG IIc that has provided new insights into the neural phenotypes that are hallmarks of the human disorder and has also highlighted the role of protein fucosylation in neural development

Severe Airway Epithelial Injury, Aberrant Repair and Bronchiolitis Obliterans Develops after Diacetyl Instillation in Rats

Bronchiolitis obliterans (BO) is a fibrotic lung disease that occurs in a variety of clinical settings, including toxin exposures, autoimmunity and lung or bone marrow transplant. Despite its increasing clinical importance, little is known regarding the underlying disease mechanisms due to a lack of adequate small animal BO models. Recent epidemiological studies have implicated exposure to diacetyl (DA), a volatile component of artificial butter flavoring, as a cause of BO in otherwise healthy factory workers. Our overall hypothesis is that DA induces severe epithelial injury and aberrant repair that leads to the development of BO. Therefore, the objectives of this study were 1) to determine if DA, delivered by intratracheal instillation (ITI), would lead to the development of BO in rats and 2) to characterize epithelial regeneration and matrix repair after ITI of DA.Male Sprague-Dawley rats were treated with a single dose of DA (125 mg/kg) or sterile water (vehicle control) by ITI. Instilled DA resulted in airway specific injury, followed by rapid epithelial regeneration, and extensive intraluminal airway fibrosis characteristic of BO. Increased airway resistance and lung fluid neutrophilia occurred with the development of BO, similar to human disease. Despite rapid epithelial regeneration after DA treatment, expression of the normal phenotypic markers, Clara cell secretory protein and acetylated tubulin, were diminished. In contrast, expression of the matrix component Tenascin C was significantly increased, particularly evident within the BO lesions.We have established that ITI of DA results in BO, creating a novel chemical-induced animal model that replicates histological, biological and physiological features of the human disease. Furthermore, we demonstrate that dysregulated epithelial repair and excessive matrix Tenacin C deposition occur in BO, providing new insights into potential disease mechanisms and therapeutic targets