Sign in
)-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