ByNobleID
    Stateful authorization logic – Proof theory and a case study | NobleID