Login / Signup
Aardvark: A Concurrent Authenticated Dictionary with Short Proofs.
Derek Leung
Yossi Gilad
Sergey Gorbunov
Leonid Reyzin
Nickolai Zeldovich
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
theorem proving
sparse representation
theorem prover
real time
databases
artificial intelligence
key exchange protocol
genetic algorithm
natural language
key agreement protocol