Robustness in the Salus Scalable Block Store. - Yang Wang 009; Manos Kapritsos; Zuocheng Ren; Prince Mahajan; Jeevitha Kirubanandam; Lorenzo Alvisi; Mike Dahlin (NSDI, 2013)

Verifying computations with state. - Benjamin Braun; Ariel J. Feldman; Zuocheng Ren; Srinath T. V. Setty; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2013)

Efficient RAM and control flow in verifiable outsourced computation. - Riad S. Wahby; Srinath T. V. Setty; Zuocheng Ren; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2014)