Publications

InfiniStore: Elastic Serverless Cloud Storage
- - Jingyuan Zhang
  - Ao Wang
  - et al.
- 2023
- VLDB 2023
LaBRADOR: Compact Proofs for R1CS from Module-SIS
- - Ward Beullens
  - Gregor Seiler
- 2023
- CRYPTO 2023
Graph-Theoretic Algorithms for the Alternating Trilinear Form Equivalence Problem
- - Ward Beullens
- 2023
- CRYPTO 2023
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification
- - Jonathan Bootle
  - Alessandro Chiesa
  - et al.
- 2023
- CRYPTO 2023
Security Analysis of the WhatsApp End-to-End Encrypted Backup Protocol
- - Gareth T. Davies
  - Sebastian Faller
  - et al.
- 2023
- CRYPTO 2023
A Framework for Practical Anonymous Credentials from Lattices
- - Jonathan Bootle
  - Vadim Lyubashevsky
  - et al.
- 2023
- CRYPTO 2023
Designing an AI assistant for chemical discovery
- - Siya Kunde
  - Stephanie Houde
  - et al.
- 2023
- ACS Fall 2023
How to Bind Anonymous Credentials to Humans
- - Julia Hesse
  - Nitin Singh
  - et al.
- 2023
- USENIX Security 2023
URET: Universal Robustness Evaluation Toolkit (for Evasion)
- - Kevin Eykholt
  - Taesung Lee
  - et al.
- 2023
- USENIX Security 2023
Not All Data are Created Equal: Data and Pointer Prioritization for Scalable Protection Against Data-Oriented Attacks
- - Salman Ahmed
  - Hans Liljestrand
  - et al.
- 2023
- USENIX Security 2023