Cover Image

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Haobin Hiroki, Chen, Hongbo, Sun, Mingshen, Wang, Chenghong, Wang, XiaoFeng
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Databases Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map powered by Secure HBM Accelerators
by: Guo, Yitong, et al.
Published: (2025)

SPECIAL: Synopsis Assisted Secure Collaborative Analytics
by: Wang, Chenghong, et al.
Published: (2024)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
by: Huyghebaert, Sander, et al.
Published: (2023)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

ORQ: Complex Analytics on Private Data with Strong Security Guarantees
by: Baum, Eli, et al.
Published: (2025)

Programming Frameworks for Differential Privacy
by: Gaboardi, Marco, et al.
Published: (2024)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
by: Ye, Qianchuan, et al.
Published: (2023)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
by: Baumann, Jonathan, et al.
Published: (2026)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

Blockchain Data Analytics: Review and Challenges
by: Mafrur, Rischan
Published: (2025)

Formalizing Stack Safety as a Security Property
by: Anderson, Sean Noble, et al.
Published: (2021)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
by: Thibault, Jérémy, et al.
Published: (2024)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
by: Zhang, Keyang, et al.
Published: (2026)

VDDP: Verifiable Distributed Differential Privacy under the Client-Server-Verifier Setup
by: Sun, Haochen, et al.
Published: (2025)

MAPS: A Multilingual Benchmark for Agent Performance and Security
by: Hofman, Omer, et al.
Published: (2025)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
by: Andrici, Cezar-Constantin, et al.
Published: (2025)

Towards Privacy-Preserving Range Queries with Secure Learned Spatial Index over Encrypted Data
by: Wang, Zuan, et al.
Published: (2025)

Enabling Efficient Attack Investigation via Human-in-the-Loop Security Analysis
by: Tsegai, Saimon Amanuel, et al.
Published: (2022)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
by: Wen, Hongbo, et al.
Published: (2024)

Implementing a Scalable, Redeployable and Multitiered Repository for FAIR and Secure Scientific Data Sharing: The BIG-MAP Archive
by: Granata, Valeria, et al.
Published: (2025)

TableMark: A Multi-bit Watermark for Synthetic Tabular Data
by: Xia, Yuyang, et al.
Published: (2026)

Reflex: Faster Secure Collaborative Analytics via Controlled Intermediate Result Size Disclosure
by: Gu, Long, et al.
Published: (2025)

Verifiable, Efficient and Confidentiality-Preserving Graph Search with Transparency
by: Wang, Qiuhao, et al.
Published: (2025)

HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
by: Das, Krishnendu
Published: (2025)

Chain Table: Protecting Table-Level Data Integrity by Digital Ledger Technology
by: Yu, Feng, et al.
Published: (2025)

Secure Query Processing with Linear Complexity
by: Luo, Qiyao, et al.
Published: (2024)

Protecting Data Buyer Privacy in Data Markets
by: Zhang, Minxing, et al.
Published: (2024)

Differentially Private Data Generation with Missing Data
by: Mohapatra, Shubhankar, et al.
Published: (2023)

Fast Private Adaptive Query Answering for Large Data Domains
by: Fuentes, Miguel, et al.
Published: (2026)

Differentially Private Learned Indexes
by: Du, Jianzhang, et al.
Published: (2024)

Polars inside Intel SGX2 Enclaves: An Empirical Study of Confidential Analytical Query Processing
by: Wang, Wei, et al.
Published: (2026)

Dual Utilization of Perturbation for Stream Data Publication under Local Differential Privacy
by: Du, Rong, et al.
Published: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
by: Cho, Hyunhum, et al.
Published: (2026)

Maris: A Formally Verifiable Privacy Policy Enforcement Paradigm for Multi-Agent Collaboration Systems
by: Cui, Jian, et al.
Published: (2025)

Designing a Secure, Scalable, and Cost-Effective Cloud Storage Solution: A Novel Approach to Data Management using NextCloud, TrueNAS, and QEMU/KVM
by: Aryan, Prakash, et al.
Published: (2024)

NetChain: Authenticated Blockchain Top-k Graph Data Queries and its Application in Asset Management
by: Zhao, Hongguang, et al.
Published: (2025)

Information Leakage in Data Linkage
by: Christen, Peter, et al.
Published: (2025)

Automated Formal Verification of a Software Fault Isolation System
by: Sotoudeh, Matthew, et al.
Published: (2025)

VeriX-Anon: A Multi-Layered Framework for Mathematically Verifiable Outsourced Target-Driven Data Anonymization
by: Daga, Miit, et al.
Published: (2026)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)