Alberto Calvi

Learn 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)
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)
—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 reachability problems. To assess the(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)
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)
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)
Balò's concentric sclerosis (BCS) is considered a rare demyelinating disease and regarded as an aggressive variant of multiple sclerosis (MS). We describe three cases (one male and two females) with neuroimaging features suggestive of BCS and heterogeneous symptoms, with benign long-term clinical course upon treatment with natalizumab and fingolimod.(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)