TY  - RPRT
TI  - Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
AU  - Haobin Hiroki Chen
AU  - Hongbo Chen
AU  - Mingshen Sun
AU  - Chenghong Wang
AU  - XiaoFeng Wang
PY  - 2025
UR  - https://arxiv.org/abs/2501.10560
ID  - 2501.10560
ER  -