The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. - Florian Helmschmidt; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Clara Waldmann; Tim Würtele (IACR Cryptol. ePrint Arch., 2023)