Published 2025
| Version v2
Software
Open
PICACHV: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
Creators
Files
picachv-main.zip
Files
(1.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d1292c09f97f5553771236310a1aff78
|
1.4 MB | Preview Download |
|
md5:c0d049ad0ae47d2edf8e94ec692238a3
|
75.1 kB | Preview Download |