Author of the publication

Proving the correct execution of concurrent services in zero-knowledge.

, , , and . OSDI, page 339-356. USENIX Association, (2018)

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)NeutronNova: Folding everything that reduces to zero-check., and . IACR Cryptol. ePrint Arch., (2024)Byzantine Ordered Consensus without Byzantine Oligarchy., , , , and . OSDI, page 633-649. USENIX Association, (2020)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)IronFleet: proving safety and liveness of practical distributed systems., , , , , , , and . Commun. ACM, 60 (7): 83-92 (2017)IronFleet: proving practical distributed systems correct., , , , , , , and . SOSP, page 1-17. ACM, (2015)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)