Fabio Massacci Home Page


Professor (photo) at Università di Trento and in particular

In the recent past I have been

My favourite quotes:

Research Interests

You can find all updated information in the Security Group's wiki on Research Topics. My present working topics are My h-index was >= 30 according to Google Scholar and >= 13 according to Scopus. My Erdös number is 3 .

Past Research

  • Security Requirements Engineering
  • Logical Cryptanalysis or Crypto with SAT for representing crypto-problems as logical problems.
  • Cryptographic Protocol Verification
  • Modal and Description Logics


    Conferences and Journals

    Journal Associate Editor:
    International Journal of Information Security
    Journal Special Issue:
    Journal of Computer Security: Special Issue on EU Funded Research, Science of Computer Programming: special issue on security and Trust
    Steering Committee Member of Conferences:
    International Symposium on Engineering Secure Software and Systems (ESSoS) In cooperation with ACM SIGSAC and SIGSOFT.
    I also started the ACM MetriSec workshop (Before Quality of Protection).
    Conference Chair:
    IJCAR-2001, iTrust-2005
    NTMS-2008, ESSoS-2009, ESSOS-2010, IEEE SSIRI
    PC member:
    too many to track them.

    Research Grants

    PhD Students, Post-docs, Alumni

    Current PhD Students

    Current Post-docs

    Former PhD students

    Former Post-Docs

    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 ones in this page. A good example:


    For the Courses see the Didattica on-line Web Page at the University of Trento or see here (Security and Privacy EIT Master) if you are not from Trento. 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.

    (VERY OLD) 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 Postscript.

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


    Fabio Massacci
    Dipartimento di Scienze ed Ingegneria dell'Informazione
    Università di Trento
    Via Sommarive 14, I-38123 Trento, Italy
    tel: +39.0461.282086 fax: +39.0461.282093
    E-mail Fabio PUNTO Massacci CHIOCCIOLA unitn PUNTO it

    If you need really to talk to me (and don't have my mobile phone) I suggest to contact

    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