ALITHEIA: Towards Practical Verifiable Graph Processing.

Yupeng Zhang, Charalampos Papamanthou, Jonathan Katz

Browse the full CCS paper archive.