Authenticated Data Structures As Functors.

Andreas Lochbihler Ognjen Maric

Published in: Arch. Formal Proofs (2020)

Keyphrases

data structure
key exchange protocol
suffix tree
key exchange
data types
quadtree
authentication scheme
key agreement protocol
efficient data structures
real time
website
index structure
b tree
bloom filter
hash table
algorithms and data structures