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)
  • Chiara Fenoglio, Milena De Riz, Chiara Villa, Maria Serpente, Elisa Ridolfi, Rossana Bonsi +6 others
  • 2014
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)
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)
  • 1