Fabio Massacci Home Page

This page is pretty old style but has the advantage that i) it is harder to hack than CMSs, and ii) I can write what I want.

Most research info is on the Security Group's wiki.


Professor and deputy Head of School (photo) at Università di Trento and in particular

Currently I'm visiting ISI at USC Viterbi in Los Angeles so beware of the time difference.

My favourite quotes:

Awards and Recognition

Research Interests (See the Security Group's wiki)

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

  • Modelling Security Requirements Engineering (Now I do experiments on SRE)
  • Security-by-Contract for Mobile and Smart Card
  • Practical Enforcement of Information Flow Properties
  • Logical Cryptanalysis or Crypto with SAT for representing crypto-problems as logical problems.
  • Cryptographic Protocol Verification See Larry' Paulson web page in Cambridge for the papers and the proof scripts).
  • Modal and Description Logics


    Research Grants

    PhD Students, Post-docs, Alumni

    Current PhD Students If you are interested in a PhD please apply to the ICT PhD School: if you don't apply writing to me is utterly useless. Mention in the research proposal and in that motivation letter that you are interested in working with me. After you have applied you may also forward your complete application to security.positions.disi at unitn.it

    Current Post-docs

    If you are interested in a post-doctoral position please write to security.positions.disi at unitn.it

    Former PhD students

    Former Post-Docs

    Information for Master and Perspective PhD Students

    Click for Instructions for Recommendation Letters

    MSc/MEng Thesis and PhD Thesis

    Both BSc and MSc theses are available and some internships. Come and see me in person (after class is best, See below for a timetable).

    Research internship

    I take research interns only within institutional university exchanges (eg EIT Digital Master School with Twente, Darmstadt and Saarbrucken, or prof. Vladimir Vasilyev at UGATU or prof. Dang Tran Khanh at HCMUT). This happens within instutional exchanges such as the Erasmus-II programme.

    PhD Studies in Trento

    If you you would like to apply for a PhD in Trento, you'll be pleasantly surprised that we run everything in English and we have more than 50% international students. Visit the International Graduate School in Information and Communication Technologies.

    Don't forget that writing to me is utterly useless if you don't apply formally to the school.

    After you have applied, you might send an email to security . positions. disi @ unitn . it with a cv (makes clear work experience), grades, names of a couple of referees and a draft proposal for what you would be interested in doing (1 page is enough).

    You might also write to me but this is less effective. In particular it is completely useless if you have not read any paper of mine. So you should

    How to make sure your email is deleted

    Please 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 (much better) see here (Security and Privacy EIT Master). 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 have been 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 9, I-38123 Trento, Italy
    tel: +39.0461.282086 fax: +39.0461.282093
    E-mail Fabio Massacci

    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 both branching and linear time eventually is not bounded by any finite constant).

    Blue Ribbon Online Free Speech Campaign