Andrea Flamini: Cryptographic Techniques for Verifiable Credentials with Applications to Authentication Procedures. University of Trento, Italy 2025