Follow
Zuocheng Ren
Zuocheng Ren
Verified email at cs.utexas.edu
Title
Cited by
Cited by
Year
Verifying computations with state
B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish
Proceedings of the twenty-fourth ACM Symposium on Operating Systems …, 2013
1912013
Efficient RAM and control flow in verifiable outsourced computation
RS Wahby, S Setty, M Howald, Z Ren, AJ Blumberg, M Walfish
Cryptology ePrint Archive, 2014
1622014
Robustness in the Salus scalable block store
Y Wang, M Kapritsos, Z Ren, P Mahajan, J Kirubanandam, L Alvisi, ...
10th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2013
762013
Robustness in a scalable block storage system
MD Dahlin, L Alvisi, L Ganesh, M Silberstein, Y Wang, M Kapritsos, ...
US Patent App. 13/967,513, 2014
192014
Verifying computations with state (extended version)
B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish
Cryptology ePrint Archive, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–5