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
1512013
Efficient RAM and control flow in verifiable outsourced computation.
RS Wahby, STV Setty, Z Ren, AJ Blumberg, M Walfish
NDSS, 2015
1222015
Robustness in the Salus scalable block store
Y Wang, M Kapritsos, Z Ren, P Mahajan, J Kirubanandam, L Alvisi, ...
Presented as part of the 10th {USENIX} Symposium on Networked Systems Design …, 2013
582013
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
102014
Verifying computations with state (extended version)
B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish
Cryptology ePrint Archive, Report 2013/356, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–5