| 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 | 205 | 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 | 182 | 2014 |
| Robustness in the Salus Scalable Block Store. Y Wang, M Kapritsos, Z Ren, P Mahajan, J Kirubanandam, L Alvisi, ... NSDI, 357-370, 2013 | 81 | 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 | 19 | 2014 |
| Verifying computations with state (extended version) B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish Cryptology ePrint Archive, 2013 | 2 | 2013 |
