Proceedings of the 1st Workshop on Verifiable Database Systems
On-Campus Access Only (IP based access)