Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2501.10560
Cited By
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
17 January 2025
Haobin Hiroki Chen
Hongbo Chen
Mingshen Sun
Chenghong Wang
Xiaofeng Wang
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics"
Title
No papers
