Authenticated Data Structures as Functors in Isabelle/HOL.
Andreas LochbihlerOgnjen MaricPublished in: FMBC@CAV (2020)
Keyphrases
- theorem prover
- data structure
- natural deduction
- inference rules
- higher order logic
- theorem proving
- first order logic
- key exchange protocol
- data types
- efficient data structures
- authentication scheme
- key exchange
- quadtree
- database
- database operations
- kd trees
- suffix tree
- sequent calculus
- key distribution
- cut elimination
- data mining
- neural network
- real time