The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols

International audiencePrivacy-preserving security properties in cryptographic protocols are typically modelled by observational equivalences in process calculi such as the applied pi-calulus. We survey decidability and complexity results for the automated verification of such equivalences, casting existing results in a common framework which allows for a precise comparison. This unified view, beyond providing a clearer insight on the current state of the art, allowed us to identify some variations in the statements of the decision problems-sometimes resulting in different complexity results. Additionally, we prove a couple of novel or strengthened results

Benchmarking homogenization algorithms for monthly data

The COST (European Cooperation in Science and Technology) Action ES0601: Advances in homogenization methods of climate series: an integrated approach (HOME) has executed a blind intercomparison and validation study for monthly homogenization algorithms. Time series of monthly temperature and precipitation were evaluated because of their importance for climate studies. The algorithms were validated against a realistic benchmark dataset. Participants provided 25 separate homogenized contributions as part of the blind study as well as 22 additional solutions submitted after the details of the imposed inhomogeneities were revealed. These homogenized datasets were assessed by a number of performance metrics including i) the centered root mean square error relative to the true homogeneous values at various averaging scales, ii) the error in linear trend estimates and iii) traditional contingency skill scores. The metrics were computed both using the individual station series as well as the network average regional series. The performance of the contributions depends significantly on the error metric considered. Although relative homogenization algorithms typically improve the homogeneity of temperature data, only the best ones improve precipitation data. Moreover, state-of-the-art relative homogenization algorithms developed to work with an inhomogeneous reference are shown to perform best. The study showed that currently automatic algorithms can perform as well as manual ones

Effects of hyperoxia and cardiovascular risk factors on myocardial ischemia reperfusion injury: a randomized, sham and placebo controlled parallel study

peer reviewedRecent studies on O2 supplementation in acute coronary syndrome patients are equivocal. We tested the hypothesis that oxidative stress (OS) is increased in rodents with cardiovascular risk factors and enhances ischemia reperfusion injury in the presence of hyperoxia. Forty-three Wistar rats (WR), 30 spontaneous hypertensive rats (SHR) and 33 obese Zucker rats (ZR) were randomized in a sham procedure (1/3rd) or a left anterior descending ligation for 60 minutes (2/3rd). This was followed by 3 hours of reperfusion while animals were randomised either in a hyperoxic (HR) or a normoxic reperfusion group (NR). Baseline troponin (cTnT) was larger in SHR and ZR than WR (both p < 0.001). HR was associated with a lesser troponin rise in SHR and ZR than in NR (both p < 0.001); while the reverse occurred in WR (p < 0.001). In SHR, HR limited total MPO (myeloperoxydase) increase as compared to NR (p = 0.0056) to the contrary of total MPO in WR (p = 0.013). NR was associated with a drastic reduction of total thiols as compared to HR both in SHR and in ZR (both p < 0.001). Despite a heightened baseline OS, HR rather restrained myocardial necrosis and anti/pro-oxidant imbalance in SHR and ZR, to the reverse of healthy WR

Human Skin Microbiota: High Diversity of DNA Viruses Identified on the Human Skin by High Throughput Sequencing

The human skin is a complex ecosystem that hosts a heterogeneous flora. Until recently, the diversity of the cutaneous microbiota was mainly investigated for bacteria through culture based assays subsequently confirmed by molecular techniques. There are now many evidences that viruses represent a significant part of the cutaneous flora as demonstrated by the asymptomatic carriage of beta and gamma-human papillomaviruses on the healthy skin. Furthermore, it has been recently suggested that some representatives of the Polyomavirus genus might share a similar feature. In the present study, the cutaneous virome of the surface of the normal-appearing skin from five healthy individuals and one patient with Merkel cell carcinoma was investigated through a high throughput metagenomic sequencing approach in an attempt to provide a thorough description of the cutaneous flora, with a particular focus on its viral component. The results emphasize the high diversity of the viral cutaneous flora with multiple polyomaviruses, papillomaviruses and circoviruses being detected on normal-appearing skin. Moreover, this approach resulted in the identification of new Papillomavirus and Circovirus genomes and confirmed a very low level of genetic diversity within human polyomavirus species. Although viruses are generally considered as pathogen agents, our findings support the existence of a complex viral flora present at the surface of healthy-appearing human skin in various individuals. The dynamics and anatomical variations of this skin virome and its variations according to pathological conditions remain to be further studied. The potential involvement of these viruses, alone or in combination, in skin proliferative disorders and oncogenesis is another crucial issue to be elucidated

Communication, development, and social change in Spain: A field between institutionalization and implosion

This paper renders an account of the rapid institutionalization of the academic field of Communication for Development and Social Change (CDCS) in Spain in recent years following a period of neglect and marginalization. The ongoing expansion of the field of CDSC in the Spanish context is understood as a process of implosion, i.e. a collapse inwards, which results from the inconsistencies and weaknesses of fast and late institutionalization. The methodological approach for this inquiry is a documental review of both academic literature and research and institutional reports produced in Spain between 1980 and 2010. Based on this review, the paper contrasts the trajectory of the field in Spain with the debates at the international level, establishing relevant continuities and differences.This article is part of the Research Project (Ministry of Economy and Competitiveness, Spain) CSO2014-52005-R titled ‘Evaluation and Monitoring of Communication for Development and Social Change in Spain: design of indicators to measure its social impact’ (2015–2017)17 página

Reflected near-field blast pressure measurements using high speed video

Background: The design and analysis of protective systems requires a detailed understanding of, and the ability to accurately predict, the distribution of pressure loads acting on an obstacle following an explosive detonation. In particular, there is a pressing need for accurate characterisation of blast loads in the region very close to a detonation, where even small improvised devices can produce serious structural or material damage. Objective: Accurate experimental measurement of these near-field blast events, using intrusive methods, is demanding owing to the high magnitudes (> 100 MPa) and short durations (< 1 ms) of loading. The objective of this article is to develop a non-intrusive method for measuring reflected blast pressure distributions using image analysis. Methods: This article presents results from high speed video analysis of near-field spherical PE4 explosive blasts. The Canny edge detection algorithm is used to track the outer surface of the explosive fireball, with the results used to derive a velocity-radius relationship. Reflected pressure distributions are calculated using this velocity-radius relationship in conjunction with the Rankine-Hugoniot jump conditions. Results: The indirectly measured pressure distributions from high speed video are compared with directly measured pressure distributions and are shown to be in good qualitative agreement with respect to distribution of reflected pressures, and in good quantitative agreement with peak reflected pressures (within 10% of the maximum recorded value). Conclusions: The results indicate that it is possible to accurately measure blast loads in the order of 100s MPa using techniques which do not require sensitive recording equipment to be located close to the source of the explosion