Giampaolo BELLA

Full Professor of Informatics [INF/01]

Graduate with "summa cum laude" at DMI in 1995, he then took his Ph.D. at Cambridge University Computer Laboratory in 2000 with a thesis entered in the Distinguished Dissertation scheme.

Full time researcher with DMI since 2001, Associate Professor since 2010, and got the Italian habilitation as Full Professor in 2018. Visiting Researcher with SAP Research France in 2008 and Visiting Professor at De Montfort University (UK) in 2010 and at Royal Holloway University of London in 2019.

He is a lecturer of modules towards the Laurea degrees of the University of Catania.

He calls himself a researcher before anything else, with a scientific publication record in the areas of security protocols and their socio-technical aspects, methods of formal verification and penetration testing, as well as legal aspect of cybersecurity.

He is called as Independent Expert by the EU since 2009 for the evaluation and review of research and development projects within the FP7, H2020 and Horizon Europe frameworks. He has acted as Scientific Coordinator of several European projects, including COSCA and POC4COMMERCE among the recent ones.


N.B. the number of publications can affect the loading time of the information

Academic Year 2021/2022

Academic Year 2020/2021

Academic Year 2019/2020

Academic Year 2018/2019

Academic Year 2017/2018

Academic Year 2016/2017

Academic Year 2015/2016
  • Penetration testing in the Internet of Things
  • Cybersecurity in the automotive domain
  • Blockchain
  • Privacy
  • Socio-technical aspects of cybersecurity
  • Formal analysis of security policies
  • Formal analysis of cryptographic protocols
  • Inductive Method in Isabelle
  • Soft constraint programming
  • Smartcard