Many-out-of-Many Proofs and Applications to Anonymous Zether.

Benjamin E. Diamond

Published in: IEEE Symposium on Security and Privacy (2021)

Keyphrases

theorem proving
mathematical proofs
formal proofs
theorem prover
information technology
digital signature scheme
data sets
equational theories
peer to peer
digital libraries
decision procedures
natural deduction
cut elimination
information systems
computer vision
artificial intelligence
data mining