12 papers
Breaking Fault Lines: Unifying TEE-Assisted BFT Consensus in Partially Trusted Worlds
Xiaoqing Wen, Tong Liu, Jianyu Niu +4
This paper revisits TEE-assisted BFT under a universal partial-TEE model, where an arbitrary subset of replicas execute inside TEEs while the remaining replicas operate without har…
A Formal Analysis of Agent Payment Protocols
Ke Jiang, Mohan Yu, Yuan Chang +4
Agent payment protocols are emerging as a key transaction layer for autonomous commerce, enabling AI agents to purchase goods and services and execute payments on users' behalf. Un…
Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollback
Guanlong Wu, Dahui Li, Ke Jiang +3
AI agents are moving toward persistent, stateful execution across various applications, accumulating execution state and external effects that are costly to reconstruct after failu…
Chimera: Protocol-Aware Recovery for Confidential BFT Consensus
Tong Liu, Xiaoqing Wen, Ziwei Zhou +4
Trusted Execution Environments (TEEs) have enabled confidential Byzantine Fault-Tolerant (BFT) consensus systems with confidentiality and improved scalability. However, TEEs do not…
DIST-FL: Enhancing Security for TEE-based Aggregation in Federated Learning
Guanlong Wu, Ju Yang, Zhen Huang +4
Trusted Execution Environments (TEEs)-aided federated learning protocols emerge as promising solutions to counter server-side adversaries and ensure the trustworthiness of the serv…
TeeDAO: A Decentralized Autonomous Organization for Heterogeneous TEEs
Pinshen Xu, Wentao Dong, Guoxing Chen +3
Trusted Execution Environments (TEEs) have emerged as a critical technology for safeguarding sensitive data and ensuring code integrity in modern computing systems. However, relyin…