OpenAlex
A mechanical approach to derive identity-based protocols from Diffie–Hellman-based protocols
Work