Theses

• 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

Contacts

• lstella@fbk.eu