Publications

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
Probabilistic Attention-to-Influence Neural Models for Event Sequences
- - Xiao Shou
  - Debarun Bhattacharjya
  - et al.
- 2023
- ICML 2023
Unifying Molecular and Textual Representations via Multi-task Language Modelling
- - Dimitrios Christofidellis
  - Giorgio Giannone
  - et al.
- 2023
- ICML 2023