Login / Signup
Acyclicity Programming for Sigma-Protocols.
Masayuki Abe
Miguel Ambrona
Andrej Bogdanov
Miyako Ohkubo
Alon Rosen
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
programming language
data exchange
development environment
programming course
data sets
query answering
programming environment
communication protocols
real time
genetic algorithm
knowledge base
relational databases
web applications
authentication protocol