Jonathan Bootle

According to our database, Jonathan Bootle authored at least 31 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Efficient Verifiable Mixnets from Lattices, Revisited.

Jonathan Bootle, Vadim Lyubashevsky, Antonio Merino-Gallardo

Proceedings of the Public-Key Cryptography - PKC 2025, 2025

2024

The Sumcheck Protocol.

Azucena Garvía Bosshard, Christoph Sprenger, Jonathan Bootle

Arch. Formal Proofs, 2024

Formal Verification of the Sumcheck Protocol.

Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

A Framework for Practical Anonymous Credentials from Lattices.

Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Alessandro Sorniotti

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.

Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes.

Jonathan Bootle, Sebastian H. Faller, Julia Hesse, Kristina Hostáková, Johannes Ottenhues

Proceedings of the Advances in Cryptology - ASIACRYPT 2023, 2023

2022

Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field.

Jonathan Bootle, Alessandro Chiesa, Ziyi Guan, Siqi Liu

IACR Cryptol. ePrint Arch., 2022

Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier.

Jonathan Bootle, Alessandro Chiesa, Siqi Liu

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

Gemini: Elastic SNARKs for Diverse Environments.

Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

DualDory: Logarithmic-Verifier Linkable Ring Signatures Through Preprocessing.

Jonathan Bootle, Kaoutar Elkhiyaoui, Julia Hesse, Yacov Manevich

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

More Efficient Amortization of Exact Zero-Knowledge Proofs for LWE.

Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler

Proceedings of the Computer Security - ESORICS 2021, 2021

Sumcheck Arguments and Their Applications.

Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

2020

Zero-Knowledge Succinct Arguments with a Linear-Time Prover.

Jonathan Bootle, Alessandro Chiesa, Siqi Liu

IACR Cryptol. ePrint Arch., 2020

Linear-Time Arguments with Sublinear Verification from Tensor Codes.

Jonathan Bootle, Alessandro Chiesa, Jens Groth

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

Compact Privacy Protocols from Post-quantum and Timed Classical Assumptions.

Jonathan Bootle, Anja Lehmann, Vadim Lyubashevsky, Gregor Seiler

Proceedings of the Post-Quantum Cryptography - 11th International Conference, 2020

A Non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge.

Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

2019

Designing efficient zero-knowledge proofs in the ideal linear commitment model.

Jonathan Bootle

PhD thesis, 2019

Algebraic Techniques for Short(er) Exact Lattice-Based Zero-Knowledge Proofs.

Jonathan Bootle, Vadim Lyubashevsky, Gregor Seiler

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018

Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.

Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune K. Jakobsen, Mary Maller

IACR Cryptol. ePrint Arch., 2018

Bulletproofs: Short Proofs for Confidential Transactions and More.

Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Efficient Batch Zero-Knowledge Arguments for Low Degree Polynomials.

Jonathan Bootle, Jens Groth

Proceedings of the Public-Key Cryptography - PKC 2018, 2018

Cryptanalysis of Compact-LWE.

Jonathan Bootle, Mehdi Tibouchi, Keita Xagawa

Proceedings of the Topics in Cryptology - CT-RSA 2018, 2018

Sub-linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits.

Carsten Baum, Jonathan Bootle, Andrea Cerulli, Rafaël del Pino, Jens Groth, Vadim Lyubashevsky

Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS.

Jonathan Bootle, Claire Delaplace, Thomas Espitau, Pierre-Alain Fouque, Mehdi Tibouchi

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018

Arya: Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.

Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune K. Jakobsen, Mary Maller

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018

2017

Cryptanalysis of Compact-LWE.

Jonathan Bootle, Mehdi Tibouchi

IACR Cryptol. ePrint Arch., 2017

Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability.

Jonathan Bootle, Andrea Cerulli, Essam Ghadafi, Jens Groth, Mohammad Hajiabadi, Sune K. Jakobsen

Proceedings of the Advances in Cryptology - ASIACRYPT 2017, 2017

2016

Efficient Zero-Knowledge Proof Systems.

Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth

Proceedings of the Foundations of Security Analysis and Design VIII, 2016

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting.

Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth, Christophe Petit

Proceedings of the Advances in Cryptology - EUROCRYPT 2016, 2016

Foundations of Fully Dynamic Group Signatures.

Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth

Proceedings of the Applied Cryptography and Network Security, 2016

2015

Short Accountable Ring Signatures Based on DDH.

Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth, Christophe Petit

Proceedings of the Computer Security - ESORICS 2015, 2015