| 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 | 151 | 2013 |
| Efficient RAM and control flow in verifiable outsourced computation. RS Wahby, STV Setty, Z Ren, AJ Blumberg, M Walfish NDSS, 2015 | 122 | 2015 |
| 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 | 58 | 2013 |
| 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 | 10 | 2014 |
| 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 | 1 | 2013 |
