Publications

Bare PAKE: Universally Composable Key Exchange from just Passwords
- - Manuel Barbosa
  - Kai Gellert
  - et al.
- 2024
- CRYPTO 2024
A Formal Treatment of End-to-End Encrypted Cloud Storage
- - Matilda Backendal
  - Hannah Davis
  - et al.
- 2024
- CRYPTO 2024
Greyhound: Fast Polynomial Commitments from Lattices
- - Ngoc Khanh Nguyen
  - Gregor Seiler
- 2024
- CRYPTO 2024
GhostRace: Exploiting and Mitigating Speculative Race Conditions
- - Hany Ragab
  - Andrea Mambretti
  - et al.
- 2024
- USENIX Security 2024
True Attacks, Attack Attempts, or Benign Triggers? An Empirical Measurement of Network Alerts in a Security Operations Center
- - Limin Yang
  - Zhi Chen
  - et al.
- 2024
- USENIX Security 2024
SeaK: Rethinking the Design of a Secure Allocator for OS Kernel
- - Zicheng Wang
  - Yicheng Guang
  - et al.
- 2024
- USENIX Security 2024
Label-Efficient Model Selection for Text Generation
- - Shir Ashury Tahan
  - Ariel Gera
  - et al.
- 2024
- ACL 2024
Systematic Task Exploration with LLMs: A Study in Citation Text Generation
- - Furkan ŞAhinuç
  - Ilia Kuznetsov
  - et al.
- 2024
- ACL 2024
Aligning Large Multimodal Models with Factually Augmented RLHF
- - Zhiqing Sun
  - Sheng Shen
  - et al.
- 2024
- ACL 2024
SymKGQA: Few-Shot Knowledge Graph Question Answering via Symbolic Program Generation and Execution
- - Prerna Agarwal
  - Nishant Kumar
  - et al.
- 2024
- ACL 2024