ByNobleID
    Computationally sound analysis of protocols using bilinear pairings | NobleID