Authenticated data structures, generically

DOI10.1145/2535838.2535851MaRDI QIDQ5408436zbMATH OpenOpenAlexFDO

Authors

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2535838.2535851

zbMATH Keywords

authenticated data structurescryptographyprogramming languagessecurity

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Data structures (68P05) Cryptography (94A60)

Recommendations

• A general model for authenticated data structures
• scientific article; zbMATH DE number 1962158
• Efficient authenticated data structures for graph connectivity and geometric search problems
• Streaming authenticated data structures
• Authenticated hash tables based on cryptographic accumulators

Cited in

(14)

• A general model for authenticated data structures
• Balloon: a forward-secure append-only persistent authenticated data structure
• An alternative approach to public cloud data auditing supporting data dynamics
• Authenticated hash tables based on cryptographic accumulators
• Merkle trees optimized for stateless clients in bitcoin
• Onion ORAM: a constant bandwidth blowup oblivious RAM
• Computing on Authenticated Data
• Optimal authenticated data structures with multilinear forms
• scientific article; zbMATH DE number 1962158 (Why is no real title available?)
• scientific article; zbMATH DE number 2044545 (Why is no real title available?)
• Time and Space Efficient Algorithms for Two-Party Authenticated Data Structures
• Efficient authenticated data structures for graph connectivity and geometric search problems
• Generic Authenticated Data Structures, Formally.
• Merkle mountain ranges are optimal: on witness update frequency for cryptographic accumulators

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Authenticated data structures, generically

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408436)