Authenticated data structures, generically.

Andrew Miller, Michael Hicks, Jonathan Katz, Elaine Shi

Browse the full POPL paper archive.