3 papers
cs.CR2026
CAEC: Confidential, Attestable, and Efficient Inter-CVM Communication with Arm CCA
Sina Abdollahi, Amir Al Sadi, David Kotz +2
Confidential Virtual Machines (CVMs) are increasingly adopted to protect sensitive workloads from privileged adversaries such as the hypervisor. While they provide strong isolation…
cs.CR2026
Sharing is caring: Attestable and Trusted Workflows out of Distrustful Components
Amir Al Sadi, Sina Abdollahi, Adrien Ghosn +2
Confidential computing protects data in use within Trusted Execution Environments (TEEs), but current TEEs provide little support for secure communication between components. As a…
cs.CR2025
AegisMCP: Online Graph Intrusion Detection for Tool-Augmented LLMs on Edge Devices
Zhonghao Zhan, Amir Al Sadi, Krinos Li +1
In this work, we study security of Model Context Protocol (MCP) agent toolchains and their applications in smart homes. We introduce AegisMCP, a protocol-level intrusion detector.…