Training Projects

Research Projects

  • FilieraSicura (Securing the Supply Chain of Domestic Critical Infrastructures from Cyber Attacks) funded by CISCO. Partner institutions: U. of Rome “La Sapienza” (coordinator), U. of Genova, U. of Napoli ``Federico II’’, U of Trento, U. of Venice “Ca’ Foscari”, Politecnico di Milano, Politecnico di Torino, IMT School for Advanced Studies Lucca. Duration: 36 months, starting on January 1, 2017.
  • Advanced Research Workshop - ``New Generation CERT: from Response to Readiness - Strategy and Guidelines’’, to be held at the School of Telecommunications of the Italian Armed Forces of Chiavari (Italy), March 28-30, 2017. Co-Directors: Alessandro Armando and Marc Henauer (Reporting and Analysis Centre for Information, Bern, Switzerland). Funded by NATO in the context of the NATO Science for Peace and Security (SPS) Programme.
  • BYODroid Demonstrator, funded by NATO Communications and Information (NCI) Agency. Duration: 3 months, starting on March 1, 2015.
  • Smart Intelligent and Eco-friendly Mobility Project, funded by the Italian Ministry of Education, University and Research (MIUR). Duration 36 months from January 1, 2014.
  • Mobile Application Verification Cluster (MAVERIC), funded by Poste Italiane. Duration: 24 months, starting on January 1, 2014.
  • PLUG-IN Project, funded by the Italian Ministry of Education, University and Research (MIUR). Duration: 36 months from March 1, 2013.
  • Security Horizons (2010XSEMLC006), funded by the Italian Ministry of Scientific and Technological Research in the context of the PRIN 2011 Programme. Duration: 36 months from October 1, 2012.
  • Security and Cloud Computing Project, POR Liguria, funded by Liguria Region. Duration: 18 months, starting from November 1, 2011.
  • Secure Provision and Consumption in the Internet of Services (SPaCIoS), STREP project number 257876, funded by the EU in the context of the 7th Framework Programme, THEME ICT-1-1.4 – Secure, dependable and trusted Infrastructures. Partner Institutions: U. of Verona (coordinator), U. of Genova, ETHZ, SAP Research, Siemens AG, Karlsruhe Institute of Technology, Institut Polytechnique de Grenoble. Duration: 36 months from October 11, 2010.
  • Sistema INTEgrato per la Sicurezza ad Intelligenza diStribuita (SINTESIS), Distretto Tecnologico Ligure. Duration: 18 months from March 1, 2009.
  • Automated Validation of Trust and Security of Service-oriented Architectures (AVANTSSAR), STREP project number 216471, funded by the EU in the context of the 7th Framework Programme, THEME ICT-1-1.4 – Secure, dependable and trusted Infrastructures. Partner Institutions: U. of Verona (coordinator), U. of Genova, ETHZ, SAP Research, Siemens AG, INRIA-Lorraine, IRIT, OpenTrust, Institute e-Austria Timisoara. Duration: 36 months from January 1, 2008.
  • Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems (20079E5KM8) funded by the Italian Ministry of Scientific and Technological Research in the context of the PRIN 2007 Programme. Partner Institutions: DIST, U. di Genova (Prof. A. Armando, coordinator); U. di Napoli (Prof. M. Benerecetti); U. di Trento (Prof. R. Sebastiani); U. di Verona (Prof. M. P. Bonacina). Duration: 24 months, starting on September 23, 2008.
  • IST FET Open Project AVISPA: Automated Validation of Internet Security Protocols and Applications (IST-2001-39252) funded by the European Commission in the context of the 5th Framework Programme. Partner Institutions: DIST, U. di Genova (Prof. A. Armando, coordinator); Eidgenoessische Technische Hochschule Zurich (ETHZ), Switzerland (Prof. D. Basin); INRIA Lorraine, France (Dr. M. Rusinowitch); Siemens AG, Munich, Germany (Dr. J. Cuellar). Duration: 30 months, starting on January 1, 2003.

    In 2006 the AVISPA Project received the nomination for the Descartes Prize for excellence in scientific collaborative research. (It was one the 13 projects shortlisted out of 65 submissions.) From the Descartes Prizes web page (http://cordis.europa.eu/science-society/descartes/home.html): ``This prize is awarded to teams of researchers who have achieved outstanding scientific or technological results through collaborative research in any field of science, including the social sciences, humanities and economics.’’

  • Verifica automatica dei protocolli di sicurezza (RBAU01P5SS) funded by the Italian Ministry of Scientific and Technological Research in the context of the FIRB 2001 Programme. Partner Institutions: DIST, U. di Genova (Prof. A. Armando, coordinator); University of Trento (Prof. F. Massacci); University of Napoli (Prof.M. Benerecetti). Duration: 36 months starting from July 1, 2003.
  • Decision Procedures for Software Model Checking (2003097383-002) funded by the Italian Ministry of Scientific and Technological Research in the context of the PRIN 2003 Programme. Duration: 24 months from November 20, 2003.
  • AVISS: Automated Verification of Infinite State Systems (IST-2000-26410) funded by the European Commission in the context of the Future and Emerging Technologies Programme of the 5th Framework Programme. Duration: 12 months from May 1, 2001.
  • International project for the co-tutoring of PhD students and mutual recognition of the degree in the area of integration of Deduction and Symbolic Computation. The project has been funded by the Italian Ministry of Scientific and Technological Research in the context of the Program of Internationalisation of the Italian University System (D.M. 21.6.99, art.7 - Internazionalizzazione, URL: interlink.murst.it). Duration: 4 years starting from November 1, 2000.
  • Integration of Decision Procedures in Automated Deduction in collaboration with Dr.Michael Rusinowitch (INRIA Lorraine). Funded by the French Ministry of Foreign Affairs and CRUI (Conferenza dei Rettori delle Universita Italiane) through the Italian Ministry of Scientific and Technological Research (MURST) in the context of the Programme Galileo 1999. Research Training Network CALCULEMUS: Systems for Integrated Computation and Deduction (HPRN-CT-2000-00102),
  • Funded by the European Commission in the context of the Programme Improving Human Research Potential and the Socio-Economic Knowledge Base of the 5th Framework Program. Duration: 48 months from January 1, 2000.
  • International project for the co-tutoring of PhD students and mutual recognition of the degree in the area of integration of Deduction and Symbolic Computation. The project has been funded by the Italian Ministry of Scientific and Technological Research in the context of the Program of Internationalisation of the Italian University System (D.M. 21.6.99, art.7 - Internazionalizzazione, URL: interlink.murst.it). Duration: 4 years starting from November 1, 2000.
  • The Use of Metatheoretic and Analogical Reasoning in Proof Planning in collaboration with Prof.Jorg Siekmann of the Department of Computer Science of the University of Saarbrucken (Germania). Funded by CRUI (Conferenza dei Rettori delle Universita Italiane) and DAAD in the context of the Programme Vigoni 1996.
  • Automation of Program Synthesis in Proof-Planning in collaboration with Prof.Alan Bundy of the Department of Artificial Intelligence of the University of Edinburgh. Funded by CRUI (Conferenza dei Rettori delle Universita Italiane) and the British Council in the context of the British-Italian Cooperation Programme for Research and High Education (1996 Edition).
  • Reflective Architectures for Automated Deduction in collaboration with Prof.Alan Bundy (University of Edinburgh), Prof.David Basin (Max-Planck Institut fur Informatik – Saarbrucken), Prof. Fausto Giunchiglia (University of Trento). Funded by CNR (Consiglio Nazionale delle Ricerche).

Reports