phd students
Over the years I have had the privilege of advising PhD students across institutions in Portugal, Brazil, and the United States. Their work spans software security, dependability, software engineering, and trustworthy systems — and I am proud of every one of them.
Ongoing @ Charlotte
Arastoo Zibaeirad
Leveraging LLMs for Software Vulnerability Detection and Patching
Lukas Boschanski
Adversarially-Hardened Static Code Analysis
Rodrigo Nogueira
Multi-Agent Framework for Reliable Software Generation with LLMs
José Flauzino
Evaluation of the Robustness of Linux Kernel Modules via Netlink
Ongoing @ UC
Jessica Maciel
Methods and Tools for Security Attack Detection in Microservices
Iury Araújo
Intrusion Detection and Tolerance for Microservice Applications
Nuno Seixas
An Integrated Maturity Model for Modern Software Development: Addressing AI, Security and Governance in DevOps
Diego Ribeiro
Methodology for Vulnerability Detection in IoT Gateways Source Code
Eduardo Felix
Security Evaluation of Smart Home Devices based on the OWASP TOP 10 IoT Vulnerabilities
Thaer Alsalibi
Security Benchmarking of IoT Systems
Saeed Javani
LLM-based Software Trustworthiness Assessment
Davide da Silva
LLM-Driven Moving Target Defense for Microservice Architectures Leveraging Infrastructure as Code (IaC)
Galileu Batista
TBD
Ricardo Peres
TBD
Concluded
José D'Abruzzo Pereira
Nádia Medeiros
Rui Oliveira
Daniel Vecchiato
Ricardo Santos
Afonso Araújo Neto
José Fonseca