44 citations · 59 across the 5 of their papers we have counts for
4 papers · 1 filter
Engineering Robustness into Personal Agents with the AI Workflow Store
Roxana Geambasu, Mariana Raykova, Pierre Tholoniat +3
The dominant paradigm for AI agents is an "on-the-fly" loop in which agents synthesize plans and execute actions within seconds or minutes in response to user prompts. We argue tha…
Provably Robust Watermarks for Open-Source Language Models
Miranda Christ, Sam Gunn, Tal Malkin +1
The recent explosion of high-quality language models has necessitated new methods for identifying AI-generated text. Watermarking is a leading solution and could prove to be an ess…
Think Global, Act Local: Gossip and Client Audits in Verifiable Data Structures
Sarah Meiklejohn, Pavel Kalinnikov, Cindy S. Lin +4
In recent years, there has been increasing recognition of the benefits of having services provide auditable logs of data, as demonstrated by the deployment of Certificate Transpare…
Secure Computation for Machine Learning With SPDZ
Valerie Chen, Valerio Pastro, Mariana Raykova
Secure Multi-Party Computation (MPC) is an area of cryptography that enables computation on sensitive data from multiple sources while maintaining privacy guarantees. However, theo…