2 papers
cs.CR2026
An AI Agent Execution Environment to Safeguard User Data
Robert Stanley, Avi Verma, Lillian Tsai +2
AI agents promise to serve as general-purpose personal assistants for their users, which requires them to have access to private user data (e.g., personal and financial information…
cs.DC2018
A Revised and Verified Proof of the Scalable Commutativity Rule
Lillian Tsai, Eddie Kohler, M. Frans Kaashoek +1
This paper explains a flaw in the published proof of the Scalable Commutativity Rule (SCR), presents a revised and formally verified proof of the SCR in the Coq proof assistant, an…