PhD Supervision

I am interested in working with bright, motivated PhD students who have strong interest in Cybersecurity, including those with a solid background in Computer Science (e.g. programming languages, compiler construction, formal methods, logics, etc.).
Information about indicative research topics and some funding opportunities are available below. Feel free to contact me directly (email: ) to discuss interest in working with me.

General information about postgraduate research at Teesside University (Middlesbrough, UK).

Research topics:
- Security protocols, services and applications
- Applied Formal Methods for Security: Formal Verification of Protocols and Applications, Verification Tools, ...
- Automatic Generation of Security Protocols Implementations, Code Generation, Model Driven Development
- Software Security: Java, Android, APIs, Programming Abstractions for Security, ...
- Language Based Security
- Security Analysis and Evaluation
- Applied Cryptography
- Security of Blockchain Technology and Cryptocurrencies
- E-Payments Protocols
- Next-generation Ethical Hacking Tools
Current (co*-)supervision:
- Rémi Garcia: Formal methods for security
- Lewis Golightly: Ethical Hacking framework for security
- Marco Moscini: IoT and Blockchain Security
- Neethu Shanmugan: Reverse engineering of security protocols
Past (co*-)supervision:
- *Dr Olutunde Adesiji: Blockchain-Based RSUs Data Securing Framework (2024)
PhD Funding opportunities:
- Doctoral Loan: available to UK and EU citizens (settled status required from academic year 2021-22; for pre-settled status holders specific conditions apply)
- European Union: Marie Skłodowska-Curie Actions (MSCA)
- European Union: Erasmus+ (Regrettably no longer available as the UK government decided to leave the scheme)
- Grants for International students from Commonwealth countries
- Chevening Scholarship UK government’s international awards scheme
- British Council and Bilateral agreements UK-your home country
- Women Techmakers (various fields including Computer Science)
- For Italian citizens (Law 476/1984 art. 2 and Law nr. 240/2010 art. 19)
  - Valutazione dottorato estero ai fini della concessione del congedo straordinario retribuito ai dipendenti pubblici (Legge 476/1984, art. 2)
- For Chinese, Russian and Danish citizens
- More opportunities (findaPhd.com)