3 citations · 6 across the 7 of their papers we have counts for
5 papers · 1 filter
Extending the Formalism and Theoretical Foundations of Cryptography to AI
Federico Villa, F. Betül Durak, Tadayoshi Kohno +2
Recent progress in (Large) Language Models (LMs) has enabled the development of autonomous LM-based agents capable of executing complex tasks with minimal supervision. These agents…
Towards Automating Data Access Permissions in AI Agents
Yuhao Wu, Ke Yang, Franziska Roesner +3
As AI agents attempt to autonomously act on users' behalf, they raise transparency and control issues. We argue that permission-based access control is indispensable in providing m…
Unencrypted Flying Objects: Security Lessons from University Small Satellite Developers and Their Code
Rachel McAmis, Gregor Haas, Mattea Sim +2
Satellites face a multitude of security risks that set them apart from hardware on Earth. Small satellites may face additional challenges, as they are often developed on a budget a…
SoK (or SoLK?): On the Quantitative Study of Sociodemographic Factors and Computer Security Behaviors
Miranda Wei, Jaron Mink, Yael Eiger +3
Researchers are increasingly exploring how gender, culture, and other sociodemographic factors correlate with user computer security and privacy behaviors. To more holistically und…
IsolateGPT: An Execution Isolation Architecture for LLM-Based Agentic Systems
Yuhao Wu, Franziska Roesner, Tadayoshi Kohno +2
Large language models (LLMs) extended as systems, such as ChatGPT, have begun supporting third-party applications. These LLM apps leverage the de facto natural language-based autom…