Jonathan Bootle

Publications

• Lookup Arguments over Rings and Applications to Batch-Verification of RAM Programs

  • • Jonathan Bootle
    • Julia Guskind
    • et al.
  • 2026
  • AsiaCrypt 2026

  Conference paper

• Orthus: Practical Sublinear Batch-Verification of Lattice Relations from Standard Assumptions

  • • Madalina Bolboceanu
    • Jonathan Bootle
    • et al.
  • 2026
  • CRYPTO 2026

  Conference paper

• Efficient Verifiable Mixnets from Lattices, Revisited

  • • Jonathan Bootle
    • Vadim Lyubashevsky
    • et al.
  • 2025
  • PKC 2025

  Conference paper

• Formal Verification of the Sumcheck Protocol

  • • Azucena Garvia Bosshard
    • Jonathan Bootle
    • et al.
  • 2024
  • CSF 2024

  Conference paper

• CrossFyre 2024: 13th International Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers

  • • Jonathan Bootle
    • Elizabeth Crites
    • et al.
  • 2024
  • Eurocrypt 2024

  Workshop

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

  • • Jonathan Bootle
    • Sebastian Faller
    • et al.
  • 2023
  • Asiacrypt 2023

  Conference paper

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

  • • Jonathan Bootle
    • Alessandro Chiesa
    • et al.
  • 2023
  • CRYPTO 2023

  Conference paper

• A Framework for Practical Anonymous Credentials from Lattices

  • • Jonathan Bootle
    • Vadim Lyubashevsky
    • et al.
  • 2023
  • CRYPTO 2023

  Conference paper

• DualDory: Logarithmic-Verifier Linkable Ring Signatures Through Preprocessing

  • • Jonathan Bootle
    • Kaoutar El Khiyaoui
    • et al.
  • 2022
  • ESORICS 2022

  Conference paper

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

  • • Jonathan Bootle
    • Alessandro Chiesa
    • et al.
  • 2022
  • Eurocrypt 2022

  Conference paper