)-Special-Sound Multi-round Interactive Proofs.

Thomas Attema Serge Fehr

Published in: CRYPTO (1) (2022)

Keyphrases

theorem proving
user interaction
data sets
databases
machine learning
computer vision
information systems
computer graphics
data visualization
product configuration
expert systems
user friendly
highly interactive