The organisation: The Italian National Research Council (CNR)is the main public research organisation of Italy. The CNR consists of one hundred of different research institutes that span from human sciences to engineering sciences. The CNR has about four thousand researchers. The Pisa Research Area is one of the biggest among the CNR research areas and hosts eight research institutes. In particular, the Institute of Informatics and Telematics (IIT-CNR) performs research in pervasive computing and communication, computational mathematics and systems and network security. The Information Security (IS-IIT) group in the Pisa Research Area of CNR performs research and development activities on dependable and secure distributed systems. It consists of about 20 members ranging from Ph.D. students and researchers to software engineers and three associate university researchers.
Relevant skills/experience/technologies: The researchers involved in the project have a significant expertise on formal models for security and trust, synthesis of secure composed services as well as run-time service composition monitoring and enforcement. We have running prototypes for GRID/Web service access and usage control coming from the EU projects S3MS and GRIDtrust. We have excellent capabilities of publishing scientific papers as well as on developing software.
Role in the project: CNR uses both its expertise on formal models of security and trust including formal verification and expertise on secure service composition. CNR leads the WP2 on trust and trustworthiness and has a major role on the Secure Service Composition one. CNR will also work on WP1 and WP4.
Interest in project results: CNR is deeply committed in all the activities related to trustworthy Future Internet services, and plans to extend its research capabilities and expertise through the Aniketos project.
Fabio Martinelli (M.Sc. 1994, Ph.D. 1999) is a senior researcher of IIT-CNR where he leads the information security group. He is co-author of more than one hundred papers in international journals and conference/workshop proceedings. His main research interests involve security and privacy in distributed and mobile systems and foundations of security and trust. He usually teaches at graduate level courses in computer security. He is involved in several Steering Committees of international WGs or Conferences/workshops. He usually manages R&D projects on information and communication security and he is/has been involved with several roles in the following FP6-FP7 projects: ARTIST2, BIONETS, CONNECT, CONSEQUENCE, GRIDtrust, S3MS, SENSORIA.
Ilaria Matteucci (M.Sc. 2004, Ph.D. 2009) She is a researcher of the information security group at IIT-CNR and co-author of several scientific publications. Her main research interest involves formal models for security by focusing on the problem of the synthesis of secure systems and controllers. In particular, Matteucci’s current research interests include the study of process algebra based techniques for run-time enforcement of security properties in such a way that considered systems, ranging from distributed systems to web services, will be secure. She also participates in European projects in the area of security on mobile devices and of data-centric context-aware information sharing. Additionally, she is/has been involved in the following EU projects: CONNECT, CONSEQUENCE, S3MS.
Gabriele Costa (M.Sc 2007) is a Ph.D. student in Computer Science at University of Pisa and a research fellow of the security group of the National Research Council (IIT-CNR). His research interests are, in general, the study of foundational and practical aspects of the security of programming languages and, in particular, the study of security properties of composed services as well as of mobile devices. He is involved in the EU project SENSORIA.
Stay informed on our latest news!
Only for users who has an user and a password sent by the administrator.