Publications

5 results at CRYPTO 2023

LaBRADOR: Compact Proofs for R1CS from Module-SIS
- - Ward Beullens
  - Gregor Seiler
- 2023
- CRYPTO 2023
Conference paper
Graph-Theoretic Algorithms for the Alternating Trilinear Form Equivalence Problem
- - Ward Beullens
- 2023
- CRYPTO 2023
Conference paper
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification
- - Jonathan Bootle
  - Alessandro Chiesa
  - et al.
- 2023
- CRYPTO 2023
Conference paper
Security Analysis of the WhatsApp End-to-End Encrypted Backup Protocol
- - Gareth T. Davies
  - Sebastian Faller
  - 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