Jonathan Lee

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 13

Top Topics

Personal Preferences

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

ACM SIGOPS Oper. Syst. Rev.

Publications

Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. CRYPTO (2) (2023)
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Brakedown: Linear-time and post-quantum SNARKs for R1CS. IACR Cryptol. ePrint Arch. 2021 (2021)
Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Linear-time zero-knowledge SNARKs for R1CS. IACR Cryptol. ePrint Arch. 2021 (2021)
Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty
Replicated state machines without replicated execution. IEEE Symposium on Security and Privacy (2020)
Jonathan Lee
Dory: Efficient, Transparent arguments for Generalised Inner Products and Polynomial Commitments. IACR Cryptol. ePrint Arch. 2020 (2020)
Jonathan Lee
The security of Groups of Unknown Order based on Jacobians of Hyperelliptic Curves. IACR Cryptol. ePrint Arch. 2020 (2020)
Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty
Replicated state machines without replicated execution. IACR Cryptol. ePrint Arch. 2020 (2020)
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
Verifiable state machines: Proofs that untrusted services operate correctly. IACR Cryptol. ePrint Arch. 2020 (2020)
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
Verifiable state machines: Proofs that untrusted services operate correctly. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Srinath T. V. Setty, Jonathan Lee
Quarks: Quadruple-efficient transparent zkSNARKs. IACR Cryptol. ePrint Arch. 2020 (2020)
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, Jonathan Lee, Ramarathnam Venkatesan
Veritas: Shared Verifiable Databases and Tables in the Cloud. CIDR (2019)
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Proving the correct execution of concurrent services in zero-knowledge. IACR Cryptol. ePrint Arch. 2018 (2018)
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Proving the correct execution of concurrent services in zero-knowledge. OSDI (2018)