Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proving the correct execution of concurrent services in zero-knowledge., , , and . OSDI, page 339-356. USENIX Association, (2018)IronFleet: proving practical distributed systems correct., , , , , , , and . SOSP, page 1-17. ACM, (2015)Linear-time zero-knowledge SNARKs for R1CS., , , and . IACR Cryptol. ePrint Arch., (2021)Unobservable Communication over Fully Untrusted Infrastructure., and . OSDI, page 551-569. USENIX Association, (2016)Replicated state machines without replicated execution., , and . SP, page 119-134. IEEE, (2020)Byzantine Ordered Consensus without Byzantine Oligarchy., , , , and . OSDI, page 633-649. USENIX Association, (2020)FastVer: Making Data Integrity a Commodity., , , , , , , , , and 3 other author(s). SIGMOD Conference, page 89-101. ACM, (2021)Veritas: Shared Verifiable Databases and Tables in the Cloud., , , , , , , , , and 4 other author(s). CIDR, www.cidrdb.org, (2019)Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent., , , , , , and . OSDI, page 501-516. USENIX Association, (2016)Nova: Recursive Zero-Knowledge Arguments from Folding Schemes., , and . CRYPTO (4), volume 13510 of Lecture Notes in Computer Science, page 359-388. Springer, (2022)