Jonathan Bootle

54 papers A* 1A 1B 2C 1Journal 28Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
Lookup Arguments over Rings and Applications to Batch-Verification of RAM Programs.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Julia Guskind, Sikhar Patranabis, Katerina Sotiraki
2026 J jnl
Orthus: Practical Sublinear Batch-Verification of Lattice Relations from Standard Assumptions.
IACR Cryptol. ePrint Arch.
Madalina Bolboceanu, Jonathan Bootle, Vadim Lyubashevsky, Antonio Merino-Gallardo, Gregor Seiler
2025 — conf
Efficient Verifiable Mixnets from Lattices, Revisited.
PKC (2)
Jonathan Bootle, Vadim Lyubashevsky, Antonio Merino-Gallardo
2025 J jnl
Efficient Verifiable Mixnets from Lattices, Revisited.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Vadim Lyubashevsky, Antonio Merino-Gallardo
2024 A conf
Formal Verification of the Sumcheck Protocol.
CSF
Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger
2024 J jnl
Formal Verification of the Sumcheck Protocol.
CoRR
Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger
2024 J jnl
The Sumcheck Protocol.
Arch. Formal Proofs
Azucena Garvía Bosshard, Christoph Sprenger, Jonathan Bootle
2023 — conf
A Framework for Practical Anonymous Credentials from Lattices.
CRYPTO (2)
Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Alessandro Sorniotti
2023 J jnl
A Framework for Practical Anonymous Credentials from Lattices.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Alessandro Sorniotti
2023 J jnl
DualDory: Logarithmic-Verifier Linkable Ring Signatures through Preprocessing.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Kaoutar Elkhiyaoui, Julia Hesse, Yacov Manevich
2023 — conf
Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes.
ASIACRYPT (8)
Jonathan Bootle, Sebastian H. Faller, Julia Hesse, Kristina Hostáková, Johannes Ottenhues
2023 J jnl
Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Sebastian H. Faller, Julia Hesse, Kristina Hostáková, Johannes Ottenhues
2023 — conf
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.
CRYPTO (2)
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
2023 J jnl
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
2022 — conf
DualDory: Logarithmic-Verifier Linkable Ring Signatures Through Preprocessing.
ESORICS (2)
Jonathan Bootle, Kaoutar Elkhiyaoui, Julia Hesse, Yacov Manevich
2022 — conf
Gemini: Elastic SNARKs for Diverse Environments.
EUROCRYPT (2)
Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
2022 J jnl
Gemini: Elastic SNARKs for Diverse Environments.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
2022 J jnl
Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Ziyi Guan, Siqi Liu
2022 — conf
Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier.
EUROCRYPT (2)
Jonathan Bootle, Alessandro Chiesa, Siqi Liu
2021 — conf
More Efficient Amortization of Exact Zero-Knowledge Proofs for LWE.
ESORICS (2)
Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler
2021 — conf
Sumcheck Arguments and Their Applications.
CRYPTO (1)
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
2021 J jnl
Sumcheck Arguments and their Applications.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki
2020 — conf
A Non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge.
CRYPTO (2)
Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler
2020 J jnl
A non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler
2020 C conf
Compact Privacy Protocols from Post-quantum and Timed Classical Assumptions.
PQCrypto
Jonathan Bootle, Anja Lehmann, Vadim Lyubashevsky, Gregor Seiler
2020 J jnl
Foundations of Fully Dynamic Group Signatures.
J. Cryptol.
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth
2020 — conf
Linear-Time Arguments with Sublinear Verification from Tensor Codes.
TCC (2)
Jonathan Bootle, Alessandro Chiesa, Jens Groth
2020 J jnl
Linear-Time Arguments with Sublinear Verification from Tensor Codes.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Jens Groth
2020 J jnl
More Efficient Amortization of Exact Zero-Knowledge Proofs for LWE.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler
2020 J jnl
Zero-Knowledge Succinct Arguments with a Linear-Time Prover.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Alessandro Chiesa, Siqi Liu
2019 — conf
Algebraic Techniques for Short(er) Exact Lattice-Based Zero-Knowledge Proofs.
CRYPTO (1)
Jonathan Bootle, Vadim Lyubashevsky, Gregor Seiler
2019 J jnl
Algebraic Techniques for Short(er) Exact Lattice-Based Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Vadim Lyubashevsky, Gregor Seiler
2019 — —
Designing efficient zero-knowledge proofs in the ideal linear commitment model.
Jonathan Bootle
2018 — conf
Arya: Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.
ASIACRYPT (1)
Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune K. Jakobsen, Mary Maller
2018 A* conf
Bulletproofs: Short Proofs for Confidential Transactions and More.
IEEE Symposium on Security and Privacy
Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell
2018 B conf
Cryptanalysis of Compact-LWE.
CT-RSA
Jonathan Bootle, Mehdi Tibouchi, Keita Xagawa
2018 — conf
Efficient Batch Zero-Knowledge Arguments for Low Degree Polynomials.
Public Key Cryptography (2)
Jonathan Bootle, Jens Groth
2018 J jnl
Efficient Batch Zero-Knowledge Arguments for Low Degree Polynomials.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Jens Groth
2018 — conf
LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS.
ASIACRYPT (1)
Jonathan Bootle, Claire Delaplace, Thomas Espitau, Pierre-Alain Fouque, Mehdi Tibouchi
2018 J jnl
LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Claire Delaplace, Thomas Espitau, Pierre-Alain Fouque, Mehdi Tibouchi
2018 J jnl
Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune K. Jakobsen, Mary Maller
2018 J jnl
Sub-Linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits.
IACR Cryptol. ePrint Arch.
Carsten Baum, Jonathan Bootle, Andrea Cerulli, Rafaël del Pino, Jens Groth, Vadim Lyubashevsky
2018 — conf
Sub-linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits.
CRYPTO (2)
Carsten Baum, Jonathan Bootle, Andrea Cerulli, Rafaël del Pino, Jens Groth, Vadim Lyubashevsky
2017 J jnl
Bulletproofs: Short Proofs for Confidential Transactions and More.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell
2017 J jnl
Cryptanalysis of Compact-LWE.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Mehdi Tibouchi
2017 — conf
Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability.
ASIACRYPT (3)
Jonathan Bootle, Andrea Cerulli, Essam Ghadafi, Jens Groth, Mohammad Hajiabadi, Sune K. Jakobsen
2017 J jnl
Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Andrea Cerulli, Essam Ghadafi, Jens Groth, Mohammad Hajiabadi, Sune K. Jakobsen
2016 — conf
Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting.
EUROCRYPT (2)
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth, Christophe Petit
2016 J jnl
Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth, Christophe Petit
2016 — conf
Efficient Zero-Knowledge Proof Systems.
FOSAD
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth
2016 B conf
Foundations of Fully Dynamic Group Signatures.
ACNS
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth
2016 J jnl
Foundations of Fully Dynamic Group Signatures.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth
2015 — conf
Short Accountable Ring Signatures Based on DDH.
ESORICS (1)
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth, Christophe Petit
2015 J jnl
Short Accountable Ring Signatures Based on DDH.
IACR Cryptol. ePrint Arch.
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth, Christophe Petit