Towards Functions for Verifiable Credentials in a 2-Holder Model. - Markus Batz; Sebastian Zickau (ARES, 2024)