Published 2025
| Version v3
Software
Open
PICACHV: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
Creators
Files
picachv.zip
Files
(96.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3f93dd71ac07e827fb10150099985527
|
96.3 MB | Preview Download |