Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

9 results for Jonathan Bootle

Gemini: Elastic SNARKs for Diverse Environments
- - Jonathan Bootle
  - Alessandro Chiesa
  - et al.
- 2022
- Eurocrypt 2022
Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes
- - Jonathan Bootle
  - Sebastian Faller
  - et al.
- 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
- - Jonathan Bootle
  - Vadim Lyubashevsky
  - et al.
- 2023
- CRYPTO 2023
Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier
- - Jonathan Bootle
  - Alessandro Chiesa
  - et al.
- 2022
- Eurocrypt 2022
Algebraic Techniques for Short(er) Exact Lattice-Based Zero-Knowledge Proofs
- - Jonathan Bootle
  - Vadim Lyubashevsky
  - et al.
- 2019
- CRYPTO 2019
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
Formal Verification of the Sumcheck Protocol
- - Azucena Garvia Bosshard
  - Jonathan Bootle
  - et al.
- 2024
- CSF 2024
DualDory: Logarithmic-Verifier Linkable Ring Signatures Through Preprocessing
- - Jonathan Bootle
  - Kaoutar El Khiyaoui
  - et al.
- 2022
- ESORICS 2022