• IMT

Cyber Security National Laboratory

CINI (Consorzio Interuniversitario Nazionale per l’Informatica) is a consortium of 44 Italian public universities that deliver master degrees in Computer Engineering (Ingegneria Informatica) or Computer Science (Informatica). Established in 1990, aims at (i) facilitating access to the technical academic excellences at the country level, without being stacked at single University competences, (ii) providing custom at-home high level knowledge academy tracks for specific roles, and (iii) exploiting additional project funding opportunities at different levels (European Union, country, regional), guaranteeing, when needed, both critical mass and single point of interaction at the country level. It is organized in distributed Labs on specific topics, such as Assistive Technologies, Big data, Bioinformatic, Smart Cities and Communities, Informatics and Society, and Cyber Security. In particular, The Cyber Security National Lab is a recently established (May 2014) networked laboratory led by CIS Sapienza (Research Center of Cyber Intelligence and Information Security) which structures and orchestrates together Italian academic excellence in Cyber-Security (e.g., cryptography, dependability, information security, hardware security, malware analysis, CIP, risk management, intelligence, etc.) in order to take advantage of presence of sites with specific research footprints and to operate a fine mapping of research and education in Italy. CSNL/CINI has strong relationships with the most influential governmental actors and companies Just to provide a few numbers, it includes 240 Faculties (68 full professors, 57 associate professors and 100 assistant professors), 178 PhD students, 76 postdocs and over 50 experts acting in the field in Italy. Under its umbrella (i.e., through the sites networked in it), 64 projects on cyber security are running (35 EU projects, 26 National and Regional Projects and 3 Industrial projects).CNSL


Research Center of Cyber Intelligence and Information Security, University of Rome La Sapienza

The Research Center of Cyber Intelligence and Information Security (CIS-Sapienza) is a multidisciplinary center developing new knowledge and operational methodologies to gather relevant information from cyber and physical environments and to transform it through intelligence processes in enriched information that can be used to prevent incidents that can harm the society by creating at the same time smarter complex systems. CIS-Sapienza perform leadership research in the context of cyber security, information assurance, critical information infrastructure protection, trend prediction, open-source intelligence, cyber physical systems and smart complex systems. Research results are applied to real world contexts such as cyber warfare, fraud detection, stock market stability, detection of tax evasion, monitoring of safe critical activities, early warning systems and smart environments (houses, buildings, cities, etc). CIS-Sapienza works in strict synergy with the Italian Presidency Ministry council at the implementation of the Italian Cyber Security Strategy being a major actor in the Cyber Security National Laboratory. CIS-Sapienza activities are also funded by FINMECCANICA, SOGEI and the Presidency of Ministry Council (Intelligence Department).CIS-SAPIENZA



IMT is an international Ph.D. school and research institute located in Lucca (Italy) and funded by the Italian Ministry of Research and Education. IMT strives to reach the fusion of theoretical comprehension and practical relevance. IMT will participate in the project through the research group Systems Modeling and Analysis (SysMA). Members of the group have been working since a long time on the design and analysis of concurrent, distributed and mobile systems. Important outcomes are languages for programming mobile interactive systems and seminal papers on behavioral equivalences, modal logic, and process calculi. SysMA researchers have also contributed to developing languages and techniques for the quantitative analysis of systems by means of probabilistic and deterministic models, logics, and related software tools. The group is continuously involved in collaborative projects at the Italian or European level. In the cybersecurity area, the group has contributed with work on process calculi for specifying and verifying cryptographic protocols, with languages and type systems for access control and with formalisms and software tools for the evaluation of trust and reputation.IMT


Politecnico di Milano

Politecnico di Milano (POLIMI) is the largest Italian Technical University, with over 1500 faculty members. The Department actively involved in systems security is the Dipartimento di Elettronica, Informazione e Bioingegneria (DEIB) , with 200+ faculty members and slightly short of 200 PhD students and postdoc researchers. The systems security research group works at the NECSTLab , within the Systems Architecture group led by prof. Donatella Sciuto, and is co-led by Prof. Stefano Zanero and Prof. Federico Maggi. NECSTLab hosts approximately 40 M.Sc. and PhD students performing research in system architectures and security at any given moment in time.POLIMI


Politecnico di Torino

Politecnico di Torino is one of the leading technical-scientific universities in Italy and in Europe founded 150 years ago. Politecnico di Torino is a strongly research-oriented university and conducts applied research projects with several partners. Within FilieraSicura, POLITO participates through the Test Group of the Dipartimento di Automatica e Informatica (Department of Computer and Control Engineering - DAUIN). The Test Group has been conducting cutting-edge research for many years in the fields of Test and Dependability of Integrated Systems and Microsystems. The Test Group is specialized in testing and fault tolerance methodologies with emphasis on test generation, reliability models and error correcting codes for microprocessors and memories. Test Group activities are supported by several domestic and international companies; Test Group members have participation in FP5, FP6, FP7, and H2020 European projects, as well as in Regional funded projects. In recent years, the research interests have been broadened to integrate Hardware Security and Trust, with particular emphasis on security and trust solutions for Emerging Technologies (Memories and Embedded Systems).POLITO


University of Naples Federico II

The University of Naples was founded in 1224 and is one of the oldest academic institutions in the world. The Department of Electrical Engineering and Information technology is involved in scientific and educational activities in various fields of Information Technologies. Two leading research groups will take part of the project. The first with a strong expertise on hardware security namely SECLAB, and the second on dependability and security of large scale systems, namely MOBILAB. The groups are involved on 4 European research projects on Security topic, hosting more 6 Ph.D. Candidates and more than 8 post-doc researchers.UNINA


University of Genova

The University of Genova is one of the oldest universities in Italy with a long history of collaboration with other universities and research institutions worldwide. The Department of Informatics, Bio-engineering, Robotics and Systems Engineering (DIBRIS) has an academic staff of about 70 faculties covering, among the others, the principal areas of Computer Science and Computer Engineering. The Computer Security Research Laboratory is directed by Prof. Alessandro Armando and is actively engaged in the development of novel security techniques for mobile, web, and cloud applications. Relevant previous projects include AVISPA: Automated Validation of Internet Security Protocols and Applications (IST-2001-39252, coordinator), SPaCIos: Secure Provision and Consumption in the Internet of Services (STREP 257876, coordinator), AVANTSSAR: Automated Validation of Trust and Security of Service-oriented Architectures (STREP 216471, coordinator), Formal specification of security model for the High Assurance Automated Guard (NATO project), MAVERIC: Mobile Application Verification Cluster (industrial project), Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems (PRIN 20079E5KM8, coordinator) and Security Horizons (PRIN 2010XSEMLC 006, partner).UNIGE


University of Trento

University of Trento ranks consistently among the top Italian universities in Italy. the recent research assessment VQR ranks our department as second (out of 37) in the National list for Information Engineering (Computing, Telecommunication etc.). It is also one of the most international Universities in Europe, with a large number of joint degrees in all disciplines with counterparts in Austria, Finland, France, Germany, Hungary, Netherlands, Sweden. Since 2012 the University is (through the research node TrentoRise) a core partner of the European Institute of Innovation and Technology – ICT Labs. Since 2012/213 Trento is an entry point for the EIT ICT labs Master Security and Privacy for ICT Innovation and host a EIT Doctoral Training Centre on innovation. The Department of Information Engineering and Computer Science (DISI) has more than 50 faculty members working in key research areas of Informatics and Telecommunications. It has more than 100 research and technical staff members and more than 200 doctoral students.UNITN


University of Venice “Ca’ Foscari”

Ca’ Foscari University of Venice has a nationally and internationally outstanding reputation for academic excellence in the fields of teaching and research; in 2010, 2nd as best Italian university in ranking of the Italian Ministry of Education, in 2011, 3rd place and entered the 200 top universities in QS ranking. The university participates in the project through the Department of Environmental Sciences, Informatics and Statistics (DAIS) and, in particular, through the AdvanCes in Autonomous, DIstributed and pervAsive systems (ACADIA) group, conducting research on formal techniques for the analysis and development of pervasive and distributed systems. The group is composed of 10 faculty members and includes about 16 among PhD students and post-doctoral researcher, and has participated into several successful projects on IT security and formal methods among which: MyThS “Models and Types for Security in Distributed Systems”. FET Global Computing, IST-2001-32617; SHS “Security Horizons” 2013-2106, Italian Ministry for University and Research; CINA “Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society” 2013-2016 Italian Ministry for University and Research; SOFT “Security-Oriented Formal Techniques” 2009-2011. Italian Ministry for University and Research (national coordinator: Riccardo Focardi); TESLA “Techniques for Enforcing Security in Languages and Applications”, 2007–2010. Autonomous Region of Sardinia, grant L.R.7/2007-CRP2_120. MEFISTO “Metodi formali per la sicurezza e il tempo” 2002-2003. Italian Ministry for University and Research.UNIVE


Don't have an account yet? Register Now!

Sign in to your account