| 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 | 257 | 2013 |
| 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 | 236 | 2014 |
| 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 | 92 | 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 | 27 | 2014 |
| Verifying computations with state (extended version) B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish Cryptology ePrint Archive, 2013 | 7 | 2013 |
