ByNobleID
    Action System Analysis of an Authentication Protocol (extended abstract) | NobleID