Formal Verification of the Sumcheck Protocol
- Azucena Garvia Bosshard
- Jonathan Bootle
- et al.
- 2024
- CSF 2024
Bio
I am a cryptographer in the Foundational Cryptography group at IBM Research – Zurich. My research is usually focussed on designing efficient zero-knowledge proofs, especially those based on lattice assumptions and error-correcting codes.
More information about my work and useful links can be found at https://jbootle.github.io/.
Publications
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
Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes
- 2023
- Asiacrypt 2023
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification
- Jonathan Bootle
- Alessandro Chiesa
- et al.
- 2023
- CRYPTO 2023
A Framework for Practical Anonymous Credentials from Lattices
- 2023
- CRYPTO 2023
DualDory: Logarithmic-Verifier Linkable Ring Signatures Through Preprocessing
- 2022
- ESORICS 2022
Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier
- Jonathan Bootle
- Alessandro Chiesa
- et al.
- 2022
- Eurocrypt 2022
Gemini: Elastic SNARKs for Diverse Environments
- Jonathan Bootle
- Alessandro Chiesa
- et al.
- 2022
- Eurocrypt 2022
Algebraic Techniques for Short(er) Exact Lattice-Based Zero-Knowledge Proofs
- 2019
- CRYPTO 2019
Projects
Top collaborators
JH
Julia Hesse
Technical Assistant to Alessandro Curioni, VP IBM Research Europe & Africa
VL
Vadim Lyubashevsky
Cryptography Researcher
AS
Alessandro Sorniotti
Principal Research Scientist | system security and cryptography
SF
Sebastian Faller
Predoctoral Researcher