Thesis Defense: Towards a Verifiable Database Management System

Speaker

Yu Xia
CSAIL MIT

Host

Professor Srinivas Devadas
CSAIL MIT