ACM Principles of Programming Languages, POPL 2014


Article Details
Title: Authenticated data structures, generically
Article URLs:
Alternative Article URLs:
Authors: Andrew Miller
  • University of Maryland, College Park, USA
Michael Hicks
  • University of Maryland, College Park, USA
Jonathan Katz
  • University of Maryland, College Park, USA
Elaine Shi
  • University of Maryland, College Park, USA
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1111599
DBLP Key: conf/popl/MillerHKS14
Author Comments:

Discuss this paper and its artifacts below