Alberto Calvi

Learn More
Evidence underlines the importance of microRNAs (miRNAs) in the pathogenesis of multiple sclerosis (MS). Based on the fact that miRNAs are present in human biological fluids, we previously showed that miR-223, miR-23a and miR-15b levels were downregulated in the sera of MS patients versus controls. Here, the expression levels of these candidate miRNAs were(More)
The AVANTSSAR Platform is an integrated toolset for the formal specification and automated validation of trust and security of service-oriented architectures and other applications in the Internet of Services. The platform supports application-level specification languages (such as BPMN and our custom languages) and features three validation backends(More)
Web services supporting business and administrative transactions between several parties over the Internet are more and more widespread. Their development involves several security issues ranging from authentication to the management of the access to shared resources according to given business and legal models. The capability of validating designs against(More)
Progressive multifocal leukoencephalopathy (PML) is a rare and severe complication of natalizumab therapy in patients with multiple sclerosis and it may be accompanied by immune reconstitution inflammatory syndrome (IRIS). Here, we describe a case of abnormally severe IRIS, which occurred 2 months after natalizumab-associated PML in a 38-year-old woman(More)
The security of service-oriented applications is crucial in several contexts such as e-commerce or e-governance. The design, implementation, and deployment of this kind of services are often so complex that serious vulnerabilities remain even after extensive application of traditional validation techniques, such as testing. Given the importance of(More)
We present the Chained Attacks approach, an automated model-based approach to test the security of web applications that does not require a background in formal methods. Starting from a set of HTTP conversations and a configuration file providing the testing surface and purpose, a model of the System Under Test (SUT) is generated and input, along with the(More)
We formalize automated analysis techniques for the validation of web services specified in BPEL and a RBAC variant tailored to BPEL. The idea is to use decidable fragments of first-order logic to describe the state space of a certain class of web services and then use state-of-the-art SMT solvers to handle their reach ability problems. To assess the(More)
MicroRNAs (miRNAs) have recently found to be dysregulated in serum from multiple sclerosis (MS) patients. Cell free circulating miR-15b, -23a and 223 levels were analyzed by Real Time PCR in a cohort consisting of 30 serum samples from Relapsing Remitting MS patients at baseline (T0) and after three, six, nine and twelve months (T1, T2, T3, T4) after(More)
A hexanucleotide repeat expansion in the chromosome 9 Open Reading Frame 72 gene (C9ORF72) has recently been reported to be cause of familial amyotrophic lateral sclerosis and frontotemporal lobar degeneration. Nevertheless, in the last few years this mutation has been found to be associated with heterogeneous phenotypes, including multiple sclerosis (MS)(More)
Mutations in progranulin gene (GRN) are a common cause of autosomal dominant frontotemporal lobar degeneration and are associated with a wide phenotypic heterogeneity. Here, we describe two probands with behavioral variant frontotemporal dementia with a novel mutation in this gene (1159_1160delTG). Both had a positive family history for dementia and showed(More)