Protocols and Formal Models for Delegated Authorisation with Server-Side Secrecy. - Jean Snyman; Chris Culnane; Ioana Boureanu; Gerault David (AsiaCCS, 2025)