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)

Evidence That Descending Cortical Axons Are Essential for Thalamocortical Axons to Cross the Pallial-Subpallial Boundary in the Embryonic Forebrain

Developing thalamocortical axons traverse the subpallium to reach the cortex located in the pallium. We tested the hypothesis that descending corticofugal axons are important for guiding thalamocortical axons across the pallial-subpallial boundary, using conditional mutagenesis to assess the effects of blocking corticofugal axonal development without disrupting thalamus, subpallium or the pallial-subpallial boundary. We found that thalamic axons still traversed the subpallium in topographic order but did not cross the pallial-subpallial boundary. Co-culture experiments indicated that the inability of thalamic axons to cross the boundary was not explained by mutant cortex developing a long-range chemorepulsive action on thalamic axons. On the contrary, cortex from conditional mutants retained its thalamic axonal growth-promoting activity and continued to express Nrg-1, which is responsible for this stimulatory effect. When mutant cortex was replaced with control cortex, corticofugal efferents were restored and thalamic axons from conditional mutants associated with them and crossed the pallial-subpallial boundary. Our study provides the most compelling evidence to date that cortical efferents are required to guide thalamocortical axons across the pallial-subpallial boundary, which is otherwise hostile to thalamic axons. These results support the hypothesis that thalamic axons grow from subpallium to cortex guided by cortical efferents, with stimulation from diffusible cortical growth-promoting factors

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives

Pax6 is required intrinsically by thalamic progenitors for the normal molecular patterning of thalamic neurons but not the growth and guidance of their axons

BACKGROUND: In mouse embryos, the Pax6 transcription factor is expressed in the progenitors of thalamic neurons but not in thalamic neurons themselves. Its null-mutation causes early mis-patterning of thalamic progenitors. It is known that thalamic neurons generated by Pax6(−/−) progenitors do not develop their normal connections with the cortex, but it is not clear why. We investigated the extent to which defects intrinsic to the thalamus are responsible. RESULTS: We first confirmed that, in constitutive Pax6(−/−) mutants, the axons of thalamic neurons fail to enter the telencephalon and, instead, many of them take an abnormal path to the hypothalamus, whose expression of Slits would normally repel them. We found that thalamic neurons show reduced expression of the Slit receptor Robo2 in Pax6(−/−) mutants, which might enhance the ability of their axons to enter the hypothalamus. Remarkably, however, in chimeras comprising a mixture of Pax6(−/−) and Pax6(+/+) cells, Pax6(−/−) thalamic neurons are able to generate axons that exit the diencephalon, take normal trajectories through the telencephalon and avoid the hypothalamus. This occurs despite abnormalities in their molecular patterning (they express Nkx2.2, unlike normal thalamic neurons) and their reduced expression of Robo2. In conditional mutants, acute deletion of Pax6 from the forebrain at the time when thalamic axons are starting to grow does not prevent the development of the thalamocortical tract, suggesting that earlier extra-thalamic patterning and /or morphological defects are the main cause of thalamocortical tract failure in Pax6(−/−) constitutive mutants. CONCLUSIONS: Our results indicate that Pax6 is required by thalamic progenitors for the normal molecular patterning of the thalamic neurons that they generate but thalamic neurons do not need normal Pax6-dependent patterning to become competent to grow axons that can be guided appropriately

Negative pressure wound therapy: Potential publication bias caused by lack of access to unpublished study results data

<p>Abstract</p> <p>Background</p> <p>Negative pressure wound therapy (NPWT) is widely applied, although the evidence base is weak. Previous reviews on medical interventions have shown that conclusions based on published data alone may no longer hold after consideration of unpublished data. The main objective of this study was to identify unpublished randomised controlled trials (RCTs) on NPWT within the framework of a systematic review.</p> <p>Methods</p> <p>RCTs comparing NPWT with conventional wound therapy were identified using MEDLINE, EMBASE, CINAHL and The Cochrane Library. Every database was searched from inception to May 2005. The search was updated in December 2006. Reference lists of original articles and systematic reviews, as well as congress proceedings and online trial registers, were screened for clues to unpublished RCTs. Manufacturers of NPWT devices and authors of conference abstracts were contacted and asked to provide study information. Trials were considered nonrandomised if concealment of allocation to treatment groups was classified as "inadequate". The study status was classified as "completed", "discontinued", "ongoing" or "unclear". The publication status of completed or discontinued RCTs was classified as "published" if a full-text paper on final study results (completed trials) or interim results (discontinued trials) was available, and "unpublished" if this was not the case. The type of sponsorship was also noted for all trials.</p> <p>Results</p> <p>A total of 28 RCTs referring to at least 2755 planned or analysed patients met the inclusion criteria: 13 RCTs had been completed, 6 had been discontinued, 6 were ongoing, and the status of 3 RCTs was unclear. Full-text papers were available on 30% of patients in the 19 completed or discontinued RCTs (495 analysed patients in 10 published RCTs vs. 1154 planned patients in 9 unpublished RCTs). Most information about conference abstracts and unpublished study information referring to trials that were unpublished at the time these documents were generated was obtained from the manufacturer Kinetic Concepts Inc. (KCI) (19 RCTs), followed by The Cochrane Library (18) and a systematic review (15). We were able to obtain some information on the methods of unpublished RCTs, but results data were either not available or requests for results data were not answered; the results of unpublished RCTs could therefore not be considered in the review. One manufacturer, KCI, sponsored the majority of RCTs (19/28; 68%). The sponsorship of the remaining trials was unclear.</p> <p>Conclusion</p> <p>Multi-source comprehensive searches identify unpublished RCTs. However, lack of access to unpublished study results data raises doubts about the completeness of the evidence base on NPWT.</p

Chiasmata Promote Monopolar Attachment of Sister Chromatids and Their Co-Segregation toward the Proper Pole during Meiosis I

The chiasma is a structure that forms between a pair of homologous chromosomes by crossover recombination and physically links the homologous chromosomes during meiosis. Chiasmata are essential for the attachment of the homologous chromosomes to opposite spindle poles (bipolar attachment) and their subsequent segregation to the opposite poles during meiosis I. However, the overall function of chiasmata during meiosis is not fully understood. Here, we show that chiasmata also play a crucial role in the attachment of sister chromatids to the same spindle pole and in their co-segregation during meiosis I in fission yeast. Analysis of cells lacking chiasmata and the cohesin protector Sgo1 showed that loss of chiasmata causes frequent bipolar attachment of sister chromatids during anaphase. Furthermore, high time-resolution analysis of centromere dynamics in various types of chiasmate and achiasmate cells, including those lacking the DNA replication checkpoint factor Mrc1 or the meiotic centromere protein Moa1, showed the following three outcomes: (i) during the pre-anaphase stage, the bipolar attachment of sister chromatids occurs irrespective of chiasma formation; (ii) the chiasma contributes to the elimination of the pre-anaphase bipolar attachment; and (iii) when the bipolar attachment remains during anaphase, the chiasmata generate a bias toward the proper pole during poleward chromosome pulling that results in appropriate chromosome segregation. Based on these results, we propose that chiasmata play a pivotal role in the selection of proper attachments and provide a backup mechanism that promotes correct chromosome segregation when improper attachments remain during anaphase I

Search for neutral MSSM Higgs bosons decaying to a pair of tau leptons in pp collisions

Peer reviewe

Study of hadronic event-shape variables in multijet final states in pp collisions at √s=7 TeV

Peer reviewe

Constraints on parton distribution functions and extraction of the strong coupling constant from the inclusive jet cross section in pp collisions at √s=7 TeV

Peer reviewe