Non-Interactive Keyed-Verification Anonymous Credentials.

Geoffroy Couteau Michael Reichle

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

computer graphics
access control
model checking
graphical interface
user interaction
information systems
website
peer to peer
virtual reality
formal methods
formal analysis
highly interactive
asynchronous circuits