Supervised Theses

2026

• Lorenzo Stella (Bachelor's Thesis, University of Trento, 2026)
  A Semi-Automatic Methodology for Deriving Security Tests from Specifications: The Italian Digital Identity Wallet Use Case
  Supervisor: Silvio Ranise | Co-supervisors: Andrea Bisegna, Laura Cristiano
• Giovanna Gagliardo (Bachelor's Thesis, University of Trento, 2026)
  Verifica unica, doppia conformità: un caso di studio tra direttiva NIS2 e regolamento italiano sulla sicurezza del cloud
  Supervisor: Silvio Ranise | Co-supervisors: Andrea Bisegna, Laura Cristiano

2025

• Niccolò Lechthaler (Bachelor's Thesis, University of Trento, 2025)
  Towards the Parametrization of Security Testing Tools for IdM Implementations: The MIG-T Case Study
  Supervisor: Silvio Ranise | Co-supervisors: Andrea Bisegna, Laura Cristiano, Pietro De Matteis
• Mattia Maramotti (Bachelor's Thesis, University of Trento, 2025)
  Testing as a Service for the Security and Compliance of Identity Management Solutions: Enhancing MIG A Scalable Abstract Architecture for Conformance Verification of Network Protocol Implementations
  Supervisor: Silvio Ranise | Co-supervisors: Andrea Bisegna, Roberto Carbone, Laura Cristiano, Pietro De Matteis
• Lorenzo Zarantonello (Bachelor's Thesis, University of Trento, 2025)
  Design and Implementation of an AI-Powered Database for Security Testing in IdM Protocols: The MIG-T Case Study
  Supervisor: Silvio Ranise | Co-supervisors: Andrea Bisegna, Laura Cristiano, Pietro De Matteis

2024

• Pier Guido Seno (Bachelor's Thesis, University of Trento, 2024)
  From Local to Remote: Enhancing MIG-T Pentesting Tool with SaaS for Securing Digital Identity
  Supervisor: Silvio Ranise | Co-supervisors: Andrea Bisegna, Roberto Carbone, Laura Cristiano
• Roberto Savi (Bachelor's Thesis, University of Trento, 2024)
  Integrating Pentesting Tools for Identity Management Protocols into DevSecOps: The MIG-T Use Case
  Supervisor: Silvio Ranise | Co-supervisors: Andrea Bisegna, Roberto Carbone, Laura Cristiano, Pietro De Matteis