University of Trento Department of Information and Communication Technology
Description: The Department of Information and Communication Technology (DIT) was established at the University of Trento on January 1, 2002. It represents the point of aggregation of the skills on information and communication technology and intend to provide a dynamic and qualified response to the ever-increasing demand of such competences from the productive tissue at local, national or international level. University departments are historically structures of remarkable importance for the increase of knowledge and for the technological transfer. In this context, the DIT is an innovative and promising organization in the Italian academic system. DIT is intended to be an organization: with a strong characterization on its core disciplines and high interdisciplinarity; with a leadership position in the field of services; of international excellence. These targets can be achieved since people working at DIT are able to exploit the different skills of several research groups operating on various disciplines (computer science, telecommunications and electronics), traditionally connected to different scientific communities. On the other hand, due to the wide range of knowledge provided by the different research groups, DIT can be thought as an important structure for the development and modernization of the traditional scientific disciplines. Such an interdisciplinary support is completed by a leading action in terms of services and of knowledge "management" in order to propose a national and international efficient model of technological transfer. The Department aims at being a model of integrated scientific innovation able to cope with the increasing demand of the so-called information technology society. Such a role requires excellence in both scientific research (papers) and its practical exploitation (industrial projects). In the starting phase such requirements have been reached thanks to a staff of 20 professors and researchers (affiliated to several Faculties of the University of Trento) able to collect, from a financial point of view, approximately 2.5 million Euros and to publish approximately 150 papers per year on relevant international scientific journals.
Fabio Massacci received a M.Eng. in 1993 and Ph.D. in Computer Science and Engineering at University of Rome "La Sapienza" in 1998. He visited Cambridge University in 1996-1997. He joined University of Siena as Assistant Professor in 1999 and was visiting researcher at IRIT Toulouse in 2000. He won 5 CNR scholarships (three for abroad). In 2001 he received the Intelligenza Artificiale award, a young researchers career award from the Italian Association for Artificial Intelligence. In 2001 he joined the University of Trento as Associate Professor. He is member of AAAI, ACM, IEEE Computer society and a chartered engineer since 9 years. Fabio Massacci is or has been in the Program Committee of CSFW-15, CADE-02,03, TABLEAUX-00,02,03, AAAI-02, has been conference chair for the Internat. Joint Conference on Automated Reasoning (CADE, TABLEAUX, FTP) in 2001 and is now in the steering committee of the conference. Has been invited speaker at the security session of MFPS-00 (chair Catherine Meadows NRL) on Logical Cryptanalysis of RSAand a joint invited speaker at VERIFY and FCS (Foundations of Computer Security) at FLOC-02 on Verifying Secure Electronic TRansactions by Visa and MasterCard ed has kept an invited tutorial su Automated Reasoning and the Verification of Security Protocols at TABLEAUX-99, IJCAI-03 and at the International School on Foundations of Security Analysis and Design FOSAD-2000. His current research interests are in automated reasoning for computer security. He has worked on automated deduction for modal and dynamic logics and their application to access control. In 1999 he worked on the encoding of cryptographic algorithms (DES, RSA, etc) into satisfiability problem for verification and cryptanalysis. His interest in security protocol verification dates back to 1997 when he proposed to model protocol attacks as a planning problem. Now he is chairman of the 10MEuro/year Computing and Telecom Services of the University of Trento (ERP, Net, phone and all the other ICT services) in whose capacity he has learned that an organizationally and financially sound solution is as important as the technical solution and that enforcing practical security may have unexpected subtle financial implications.
Internal	This Site   All the Web