Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder

International audienceNon-repudiation protocols have an important role in many areas where secured transactions with proofs of participation are necessary. Formal methods are clever and without error, therefore using them for verifying such protocols is crucial. In this purpose, we show how to partially represent non-repudiation as a combination of authentications on the Fair Zhou-Gollmann protocol. After discussing the limitations of this method, we define a new one based on the handling of the knowledge of protocol participants. This second method is general and of natural use, as it consists in adding simple annotations in the protocol specification. It is very easy to implement in tools able to handle participants knowledge. We have implemented it in the AVISPA Tool and analyzed the optimistic Cederquist-Corin-Dashti protocol, discovering two attacks. This extension of the AVISPA Tool for handling non-repudiation opens a highway to the specification of many other properties, without any more change in the tool itself

Genome-wide association analysis of dementia and its clinical endophenotypes reveal novel loci associated with Alzheimer's disease and three causality networks : The GR@ACE project

Introduction: Large variability among Alzheimer's disease (AD) cases might impact genetic discoveries and complicate dissection of underlying biological pathways. Methods: Genome Research at Fundacio ACE (GR@ACE) is a genome-wide study of dementia and its clinical endophenotypes, defined based on AD's clinical certainty and vascular burden. We assessed the impact of known AD loci across endophenotypes to generate loci categories. We incorporated gene coexpression data and conducted pathway analysis per category. Finally, to evaluate the effect of heterogeneity in genetic studies, GR@ACE series were meta-analyzed with additional genome-wide association study data sets. Results: We classified known AD loci into three categories, which might reflect the disease clinical heterogeneity. Vascular processes were only detected as a causal mechanism in probable AD. The meta-analysis strategy revealed the ANKRD31-rs4704171 and NDUFAF6-rs10098778 and confirmed SCIMP-rs7225151 and CD33-rs3865444. Discussion: The regulation of vasculature is a prominent causal component of probable AD. GR@ACE meta-analysis revealed novel AD genetic signals, strongly driven by the presence of clinical heterogeneity in the AD series

Genome-wide association analysis of dementia and its clinical endophenotypes reveal novel loci associated with Alzheimer's disease and three causality networks: The GR@ACE project

INTRODUCTION: Large variability among Alzheimer's disease (AD) cases might impact genetic discoveries and complicate dissection of underlying biological pathways. METHODS: Genome Research at Fundacio ACE (GR@ACE) is a genome-wide study of dementia and its clinical endophenotypes, defined based on AD's clinical certainty and vascular burden. We assessed the impact of known AD loci across endophenotypes to generate loci categories. We incorporated gene coexpression data and conducted pathway analysis per category. Finally, to evaluate the effect of heterogeneity in genetic studies, GR@ACE series were meta-analyzed with additional genome-wide association study data sets. RESULTS: We classified known AD loci into three categories, which might reflect the disease clinical heterogeneity. Vascular processes were only detected as a causal mechanism in probable AD. The meta-analysis strategy revealed the ANKRD31-rs4704171 and NDUFAF6-rs10098778 and confirmed SCIMP-rs7225151 and CD33-rs3865444. DISCUSSION: The regulation of vasculature is a prominent causal component of probable AD. GR@ACE meta-analysis revealed novel AD genetic signals, strongly driven by the presence of clinical heterogeneity in the AD series

New insights into the genetic etiology of Alzheimer's disease and related dementias

Characterization of the genetic landscape of Alzheimer's disease (AD) and related dementias (ADD) provides a unique opportunity for a better understanding of the associated pathophysiological processes. We performed a two-stage genome-wide association study totaling 111,326 clinically diagnosed/'proxy' AD cases and 677,663 controls. We found 75 risk loci, of which 42 were new at the time of analysis. Pathway enrichment analyses confirmed the involvement of amyloid/tau pathways and highlighted microglia implication. Gene prioritization in the new loci identified 31 genes that were suggestive of new genetically associated processes, including the tumor necrosis factor alpha pathway through the linear ubiquitin chain assembly complex. We also built a new genetic risk score associated with the risk of future AD/dementia or progression from mild cognitive impairment to AD/dementia. The improvement in prediction led to a 1.6- to 1.9-fold increase in AD risk from the lowest to the highest decile, in addition to effects of age and the APOE ε4 allele

Multiancestry analysis of the HLA locus in Alzheimer’s and Parkinson’s diseases uncovers a shared adaptive immune response mediated by HLA-DRB1*04 subtypes

Across multiancestry groups, we analyzed Human Leukocyte Antigen (HLA) associations in over 176,000 individuals with Parkinson’s disease (PD) and Alzheimer’s disease (AD) versus controls. We demonstrate that the two diseases share the same protective association at the HLA locus. HLA-specific fine-mapping showed that hierarchical protective effects of HLA-DRB1*04 subtypes best accounted for the association, strongest with HLA-DRB1*04:04 and HLA-DRB1*04:07, and intermediary with HLA-DRB1*04:01 and HLA-DRB1*04:03. The same signal was associated with decreased neurofibrillary tangles in postmortem brains and was associated with reduced tau levels in cerebrospinal fluid and to a lower extent with increased Aβ42. Protective HLA-DRB1*04 subtypes strongly bound the aggregation-prone tau PHF6 sequence, however only when acetylated at a lysine (K311), a common posttranslational modification central to tau aggregation. An HLA-DRB1*04-mediated adaptive immune response decreases PD and AD risks, potentially by acting against tau, offering the possibility of therapeutic avenues

Common variants in Alzheimer’s disease and risk stratification by polygenic risk scores

Genetic discoveries of Alzheimer’s disease are the drivers of our understanding, and together with polygenetic risk stratification can contribute towards planning of feasible and efficient preventive and curative clinical trials. We first perform a large genetic association study by merging all available case-control datasets and by-proxy study results (discovery n = 409,435 and validation size n = 58,190). Here, we add six variants associated with Alzheimer’s disease risk (near APP, CHRNE, PRKD3/NDUFAF7, PLCG2 and two exonic variants in the SHARPIN gene). Assessment of the polygenic risk score and stratifying by APOE reveal a 4 to 5.5 years difference in median age at onset of Alzheimer’s disease patients in APOE ɛ4 carriers. Because of this study, the underlying mechanisms of APP can be studied to refine the amyloid cascade and the polygenic risk score provides a tool to select individuals at high risk of Alzheimer’s disease