I am interested in security and data privacy of cloud storage and computation including private access to remote storage, verification of outsourced computation and data integrity protocols. My other interests include algorithms, data structures and theory.

Recent work:

Verifiable Member and Order Queries on a List in Zero-Knowledge, with E. Ghosh and R. Tamassia (pdf). To appear in ACNS 2015. Presentation at CRYPTO'14 rump session. Dynamic extension and applications to trees (pdf).

Sorting and Searching Behind the Curtain, with F. Baldimtsi (pdf). To appear in Financial Crypto 2015.

Verifying the Consistency of Remote Untrusted Services, with Commutative Operations, with C. Cachin (pdf). To appear in OPODIS 2014.