Fabio Massacci Home Page

Affiliation

Research Schools

Dipartimento di Ingegneria e Scienza dell'Informazione
International Doctoral School in Information and Communication Technologies

Facoltà di Scienze (EuMI - European Master in Informatics)
Facoltà di Ingegneria

Current position

Professor at Univ. of Trento (my real work - see above)
Guest Scientist at SINTEF in the framework of the Enforce and DIGIT Project.

I'm no longer deputy rector for ICT procurement: after 7 years, 2 rectors, 2 general directors and uncountable deans it was time for a change. Just to keep the percentage of administration constant (see citation below) I've been elected Dean of Computer Science. (not to mention coordinating an EU FET Integrated Project).

News

Video on Security & Dependability for Ambient Assisted Living (See the video below and also the SPIMACS paper in the publication to see more details)
Our paper on XML Security Views is out on IJIS (see publication list)
Our ISACA Journal paper on Governance, Compliance and Risk (see publication list)

My favourite quotes:

According to the university, the duties of professors are 50% adiministration, 50% teaching, 50% research. Order is relevant. (Moshe Vardi)
I'm on holiday at the moment, so not supposed to be reading my email. (Bashar Nuseibeh)

Research Interests

You can read my Official Curriculum Vitae otherwise a superzipped version of my research topics are:

Automated Reasoning and verification
Security-by-Contract for mobile and embedded systems
Security Requirements Engineering
Enforcement, audit and accountability

See also my projects and my students below.

Current Research

Security and Evolution (see the SecureChange project below)
Security for Compliance and risk assessment (see the MASTER project below)
The Security-by-Contract idea at the S3MS Project and the article that got out in ICT Results
Security Requirements Engineering and the Secure Tropos Project.
The Interactive Access Control for Trust Negotiation.

Conferences and Journals

The International Symposium on Engineering Secure Software and Systems (ESSoS) - 2010 in Pisa. in cooperation with ACM SIGSAC and SIGSOFT. ESSO-2009 Proceedings are available asLNCS 5429 volume.

Journals:
Associate Editor: International Journal of Information Security, Journal of Applied NonClassical Logics
PC-Chair:: ESSoS-2010; NTMS-2008, ESSoS-2009,
Journal Special Issue:: Journal of Computer Security: Special Issue on EU Funded Research, Science of Computer Programming: special issue on security and Trust
Conference Chair:: IJCAR-2001, iTrust-2005
PC member:: IFIPTM 2010; NordSec-2009, Inscrypt-2009, WISG-2009, and a lot more

Past Research

The Logical Cryptanalysis or Crypto with SAT for representing crypto-problems as logical problems.

Cryptographic Protocol Verification

Modal and Description Logics

Publications

Check my Publications List. Almost everythign is there including PDF of most papers from my PHD Thesis in the past century up to now. See also

the web page of my students (below)
Google Scholar.
DBLP

Talks and Video

Security in Ambient Assisted Living: MPEG (148MB) or AVI (201MB) format.

Research Grants

EU-FET-IP-SECURECHANGE - Security Engineering for lifelong Evolvable Systems (Coordinator) - 5.1MEuro (Trento approx 500K)
EU-IST-IP-MASTER - Managing Assurance, Security and Trust for Services - 920KEuro
EU-IST-IP-SERENITY - Security and Dependability Engineering - 586KEuro
EU-IST-STREP-S3MS - Security and Services for Mobile Systems (Coordinator) - 2.4MEuro (Trento approx 300K)
PAT-FU-MOSTRO - Modeling Security and Trust Relationships within Organizations - 81KEuro
SENSORIA - Software Engineering for Service-Oriented Overlay Computers - Closing
ASI-DOVES - A Platform for Enabling on Board Autonomy - Closed
EU-IST-FET WASP - Working Group on Answer Set Programming - Closed
MIUR-FIRB ASTRO - Knowledge Level Software Engineering - Closed
MIUR-FIRB - Security Protocols Verification - Closed
EU-NoE-E-NEXT - Network of Excellence E-Next - Closed

PhD Students, Post-docs, Alumni

Current PhD Students

Ida SR Siahaan on automata modulo theory for mobile code
Natalia Bielova on enforcement and compliance.
Viet Hung Nguyen on attack surfaces of evolving systems.
Li Minh Tran on Evolving Security Requirements (with John Mylopoulos).

Current Post-docs

Yudis Asnar working on MASTER.
Stephan Neuhaus from Saarbrucken working on MASTER.
Ayda Saidane from LAAS-CNRS working on SERENITY.
Federica Paci from Milano/Purdue working on SECURECHANGE.
Olga Gadyatskaya from Novosibirsk working on SECURECHANGE.

Alumni and Former Post-Docs

Nicola Dragoni Post-doc on S3MS [Assist. Prof @ DTU - Denmark].
Hristo Koshutanski PhD on interactive access control. [Marie Curie Fellow @ University of Malaga, Spain]
Nicola Zannone PhD on Security Requirements Engineering (jointly with John Mylopoulos). [Post-doc @ Tech. Univ. Eindhoven.]
Artiom Evtiukhin PhD on Security Engineering and Security Metrics [Post-doc @ CNR Pisa]
Katsiarina Naliuka PhD on run-time monitors for mobile code security. [RA @ Trinity College Dublin]
Nataliya Rassadko PhD on XML/BP Security Views [Post-doc @ UNITN with Y. Velegrakis].

Other Connections...

My Erdös number is 3 (for the moment).

MSc/MEng Thesis

Both BSc and MSc theses are available and some internships.

More details here on the Thesis Web Page of the University.

Research internship and PhD studies

I do not normally take research interns unless s/he is somebody who wants to do a PhD with me.

If you you would like to apply for a PhD in Trento, you'll be pleasantly surprised that we run everything in English and that you don't have to come to Trento for the admission exam. For further information, visit the International Graduate School in Information and Communication Technologies web site or download this presentation (not really meant for prospective students but you get an idea).

How to make sure your email is deleted

If you want to be sure that your email is deleted make sure to include among your favourite research topics something completely remote from the one in this page. A good example:

I have a propensity in the realm of Networking, Information Retrieval and Machine Learning

Courses

For the Courses see the Didattica on-line Web Page at the University of Trento.

Computational Complexity (2007-present)
System Security (2003-present)
Network Security (2004-2007)

If you are a lecturer and you would like to steal my English slides, please drop me a note. Being a great thief myself I'll be pleased to share.

Libri Didattici

Personal Activities

I'm also involved in the sector of International Voluntary Service Organizations.

In these days, you might be interested in reading an essay written for a post-degree Foreign Relations course by the Italian Minister of Forein Affairs I followed in 1995 (once upon a time I won the competition to become U.N. officer). I advocated a different relationship between Western Democracies and Militant Islam, rather than funding conservative islamist leaders (like Saddam Hussein or Saudi princes) to bash communists. History proved me right. Download it in PDF or Postscript.

You can also see my wife (Beatrice De Blasi) web page. I met her while a volunteer for the italian branch of Service Civil international.

Address

Fabio Massacci
Dipartimento di Scienze ed Ingegneria dell'Informazione
Università di Trento
Via Sommarive 14, I-38050 Povo (Trento), Italy
tel: +39.0461.882086 fax: +39.0461.882093
E-mail Fabio PUNTO Massacci CHIOCCIOLA unitn PUNTO it

If you need really to talk to me I suggest to contact

Project Assistant for Formal Methods and Software Engineerin research group Michela Angeli
The EU Project Manager Elisa (Suna) Chiarani
the secretary of the Computer Science SchoolLuisa De Carli.

For anything else just send me an email. Eventually I'll respond (recall that in CTL and LTL eventually is not bounded by any finite constant).

Blue Ribbon Online Free Speech Campaign

Research	Schools
Dipartimento di Ingegneria e Scienza dell'Informazione International Doctoral School in Information and Communication Technologies	Facoltà di Scienze (EuMI - European Master in Informatics) Facoltà di Ingegneria