@misc{indiciaeb3ab3aefe622,
  title = {Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics},
  author = {Haobin Hiroki Chen and Hongbo Chen and Mingshen Sun and Chenghong Wang and XiaoFeng Wang},
  year = {2025},
  url = {https://arxiv.org/abs/2501.10560},
  note = {Source identifier: 2501.10560}
}