93 citations · 93 across the 7 of their papers we have counts for
9 papers
Maverick: Private and Verifiable LLM Inference Made Practical via Matrix-Vector Multiplication Delegation
Ben Merbaum, Mohammad Amin Raeisi, Wenhao Wang +3
Open-source large language models (LLMs) are increasingly competitive with closed-source models while offering transparency and the ability to run inference without exposing user i…
Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees
Youwei Zhong, Ben Merbaum, Timos Antonopoulos +4
With the growing deployment of machine learning models, formal guarantees of the robustness and fairness of these models have become increasingly important in safety-critical and l…
On a Conjecture for Parameterized st-Orientations
Charalampos Papamanthou
MaxSTN and MinSTN -- proposed by Papamanthou and Tollis (TCS 2008, JGAA 2010) -- are two algorithms for producing -orientations of biconnected graphs with long and short longes…
How Query Distribution Knowledge Breaks Multidimensional Encrypted Range Queries, With Guarantees
Daniel Blackley, Nathaniel Moyer, Charalampos Papamanthou +1
In this work, we show how knowledge of the query distribution, combined with access-pattern leakage, is sufficient to break multi-dimensional encrypted range queries, with provable…
Practical and Accurate Local Edge Differentially Private Graph Algorithms
Pranay Mundra, Charalampos Papamanthou, Julian Shun +1
The rise of massive networks across diverse domains necessitates sophisticated graph analytics, often involving sensitive data and raising privacy concerns. This paper addresses th…
Generalized Cuckoo Hashing with a Stash, Revisited
Brice Minaud, Charalampos Papamanthou
Cuckoo hashing is a common hashing technique, guaranteeing constant-time lookups in the worst case. Adding a stash was proposed by Kirsch, Mitzenmacher, and Wieder at SICOMP 2010,…
Efficient Dynamic Searchable Encryption with Forward Privacy
Mohammad Etemad, Alptekin Küpçü, Charalampos Papamanthou +1
Searchable symmetric encryption (SSE) enables a client to perform searches over its outsourced encrypted files while preserving privacy of the files and queries. Dynamic schemes, w…
Preserving Link Privacy in Social Network Based Systems
Prateek Mittal, Charalampos Papamanthou, Dawn Song
A growing body of research leverages social network based trust relationships to improve the functionality of the system. However, these systems expose users' trust relationships,…
Verifying Search Results Over Web Collections
Michael T. Goodrich, Duy Nguyen, Olga Ohrimenko +4
Searching accounts for one of the most frequently performed computations over the Internet as well as one of the most important applications of outsourced computing, producing resu…