Formalization of Generic Authenticated Data Structures.

Matthias Brun Dmitriy Traytel

Published in: Arch. Formal Proofs (2019)

Keyphrases

data structure
efficient data structures
formal model
domain specific
suffix tree
data types
knowledge representation
decision trees
inverted index
generic model
authentication scheme
key agreement protocol
high level
case study
real time
quadtree
computer vision
information retrieval