Jonathan Bootle

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 46

Top Topics

Formal Verification

Knowledge Extraction

Preprocessing Steps

Error Correcting Codes

Top Venues

IACR Cryptol. ePrint Arch.

Publications

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