Verena: End-to-End Integrity Protection for Web Applications
A General Model for Authenticated Data Structures