Giampaolo BELLA
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.
Academic Year 2021/2022
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 1st Year
COMPUTER SECURITY E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
VULNERABILITY ASSESSMENT E PENETRATION TESTING (VAPT) - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 3rd Year
INTERNET SECURITY
Academic Year 2020/2021
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 1st Year
COMPUTER SECURITY E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 3rd Year
INTERNET SECURITY
Academic Year 2019/2020
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 1st Year
COMPUTER SECURITY E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 3rd Year
INTERNET SECURITY
Academic Year 2018/2019
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 1st Year
COMPUTER SECURITY E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 3rd Year
INTERNET SECURITY
Academic Year 2017/2018
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 1st Year
COMPUTER SECURITY E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 3rd Year
INTERNET SECURITY
Academic Year 2016/2017
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 1st Year
COMPUTER SECURITY E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 3rd Year
INTERNET SECURITY
Academic Year 2015/2016
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 1st Year
COMPUTER SECURITY E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Computer Science - 3rd Year
INTERNET SECURITY
- 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