Non-interactive Keyed-Verification Anonymous Credentials.

Geoffroy Couteau Michael Reichle

Published in: Public Key Cryptography (1) (2019)

Keyphrases

model checking
access control
user interaction
virtual reality
genetic algorithm
interactive learning
machine learning
peer to peer
artificial intelligence
social networks
case study
computer graphics
user friendly
formal verification
interactive systems
functional verification