Proving the correct execution of concurrent services in zero-knowledge. - Srinath T. V. Setty; Sebastian Angel; Trinabh Gupta; Jonathan Lee 003 (IACR Cryptol. ePrint Arch., 2018)

Veritas: Shared Verifiable Databases and Tables in the Cloud. - Johannes Gehrke; Lindsay Allen; Panagiotis Antonopoulos; Arvind Arasu; Joachim Hammer; James Hunter; Raghav Kaushik; Donald Kossmann; Ravi Ramamurthy; Srinath T. V. Setty; Jakub Szymaszek; Alexander van Renen; et al. (CIDR, 2019)

The security of Groups of Unknown Order based on Jacobians of Hyperelliptic Curves. - Jonathan Lee 003 (IACR Cryptol. ePrint Arch., 2020)

Dory: Efficient, Transparent arguments for Generalised Inner Products and Polynomial Commitments. - Jonathan Lee 003 (IACR Cryptol. ePrint Arch., 2020)

Replicated state machines without replicated execution. - Jonathan Lee 003; Kirill Nikitin 001; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2020)

Quarks: Quadruple-efficient transparent zkSNARKs. - Srinath T. V. Setty; Jonathan Lee 003 (IACR Cryptol. ePrint Arch., 2020)

Verifiable state machines: Proofs that untrusted services operate correctly. - Srinath T. V. Setty; Sebastian Angel; Jonathan Lee 003 (ACM SIGOPS Oper. Syst. Rev., 2020)

Brakedown: Linear-time and post-quantum SNARKs for R1CS. - Alexander Golovnev; Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2021)

Linear-time zero-knowledge SNARKs for R1CS. - Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2021)

Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. - Alexander Golovnev; Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (CRYPTO (2), 2023)