Thesis Defense: Towards a Verifiable Database Management System

Speaker

Yu Xia

Host

Professor Srinivas Devadas
CSAIL MIT