First Workshop on Verifiable Database Systems

Verifiable database systems ensure strong integrity guarantee, that is, the database operations are executed correctly over untampered data. While general-purpose verifiable computation techniques do exist, they suffer from poor performance. Therefore, a practical verifiable database system must make trade-offs between security, performance, and functionalities. This workshop brings together researchers and engineers from academia and industry to discuss ideas and techniques for building such practical systems. The main goals include identifying new abstractions, applications, challenges and solutions related to verifiable database systems.