EDBT 2026 Demo / reviewers in the wild / expert
Alexandra Henzinger
dblp:215/4426
· DBLP profile ↗
9ranked-venue papers
4as first author
8since 2021 · last 2026
0009-0005-2346-809XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 6 · 2 first-author · 6 since 2021Systems, architecture and hardware · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | The Structured Generic-Group Model
Henry Corrigan-Gibbs, Alexandra Henzinger, David J. Wu 0001 |
EUROCRYPT (5) | 2 |
| 2026 | Two-Server Private Information Retrieval in Sublinear Time and Quasilinear Space
Alexandra Henzinger, Seyoon Ragavan |
EUROCRYPT (5) | 1 |
| 2025 | Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN
Henry Corrigan-Gibbs, Alexandra Henzinger, Yael Tauman Kalai, Vinod Vaikuntanathan |
EUROCRYPT (2) | 2 |
| 2025 | Distributional Private Information Retrieval
Ryan Lehmkuhl, Alexandra Henzinger, Henry Corrigan-Gibbs |
USENIX Security Symposium | 2 |
| 2023 | Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous MachinesabstractIn a parallel and distributed application, a mapping is a selection of a processor for each computation or task and memories for the data collections that each task accesses. Finding high-performance mappings is challenging, particularly on heterogeneous hardware with multiple choices for processors and memories. We show that fast mappings are sensitive to the machine, application, and input. Porting to a new machine, modifying the application, or using a different input size may necessitate re-tuning the mapping to maintain the best possible performance. Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken |
SC | 2 |
| 2023 | Private Web Search with TiptoeabstractTiptoe is a private web search engine that allows clients to search over hundreds of millions of documents, while revealing no information about their search query to the search engine's servers. Tiptoe's privacy guarantee is based on cryptography alone; it does not require hardware enclaves or non-colluding servers. Tiptoe uses semantic embeddings to reduce the problem of private full-text search to private nearest-neighbor search. Then, Tiptoe implements private nearest-neighbor search with a new, high-throughput protocol based on linearly homomorphic encryption. Running on a 45-server cluster, Tiptoe can privately search over 360 million web pages with 145 core-seconds of server compute, 56.9 MiB of client-server communication (74% of which occurs before the client enters its search query), and 2.7 seconds of end-to-end latency. Tiptoe's search works best on conceptual queries ("knee pain") and less well on exact string matches ("123 Main Street, New York"). On the MS MARCO search-quality benchmark, Tiptoe ranks the best-matching result in position 7.7 on average. This is worse than a state-of-the-art, non-private neural search algorithm (average rank: 2.3), but is close to the classical tf-idf algorithm (average rank: 6.7). Finally, Tiptoe is extensible: it also supports private text-to-image search and, with minor modifications, it can search over audio, code, and more. Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich |
SOSP | 1 |
| 2023 | One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval
Alexandra Henzinger, Matthew M. Hong, Henry Corrigan-Gibbs, Sarah Meiklejohn, Vinod Vaikuntanathan |
USENIX Security Symposium | 1 |
| 2022 | Single-Server Private Information Retrieval with Sublinear Amortized Time
Henry Corrigan-Gibbs, Alexandra Henzinger, Dmitry Kogan |
EUROCRYPT (2) | 2 |
| 2018 | ILP-based Local Search for Graph Partitioning
Alexandra Henzinger, Alexander Noe, Christian Schulz 0003 |
SEA | 1 |