Theses

• Matteo Bitussi (Bachelor's Thesis, University of Trento, 2022)
  Declarative Specification of Pentesting Strategies for Browser-based Security Protocols: the Case Studies of SAML and OAuth/OIDC
  Supervisors: Silvio Ranise | Co-supervisors: Andrea Bisegna, Roberto Carbone