TY  - RPRT
TI  - Maris: A Formally Verifiable Privacy Policy Enforcement Paradigm for Multi-Agent Collaboration Systems
AU  - Jian Cui
AU  - Zichuan Li
AU  - Chi Wang
AU  - Luyi Xing
AU  - Xiaojing Liao
PY  - 2026
UR  - https://arxiv.org/abs/2505.04799
ID  - 2505.04799
ER  -