Generic Authenticated Data Structures, Formally.

Matthias Brun, Dmitriy Traytel

Browse the full ITP paper archive.