@misc{indiciae99d5d3c89dc0,
  title = {Maris: A Formally Verifiable Privacy Policy Enforcement Paradigm for Multi-Agent Collaboration Systems},
  author = {Jian Cui and Zichuan Li and Chi Wang and Luyi Xing and Xiaojing Liao},
  year = {2026},
  url = {https://arxiv.org/abs/2505.04799},
  note = {Source identifier: 2505.04799}
}