Skip to content
Preprint

Verifiable Computation with Trusted Execution Environments and On-Chain Digital Rights Tokens

Sep 2026 · 0 citations · 31 references
Computer Science

Abstract

We present an architecture that enables data owners to combine private data into data pools using Trusted Execution Environments (TEEs) and manage these pools by issuing narrowly scoped computational rights, encoded as Digital Rights Tokens (DRTs), to third-party data analysts. Each DRT binds specific open-source code to a pool and is issued and redeemed on a distributed ledger. Data analysts can obtain the right to execute open-source code on the combined sealed data inside a TEE and receive the result from this code execution, but not the underlying data. We argue for a control-centric view of privacy in which creators retain ex ante control over how their data is processed. A reference implementation runs WebAssembly (WASM)/Python jobs over sealed datasets and records redemptions on Solana, illustrating the feasibility and limitations of the platform.

View source

Similar papers

Open access Sep 2026

Task-Bound Authorization and Compliance Auditing with Quantum-Safe Task Passports for Privacy-Preserving Computation in Trusted Data Spaces

This work presents a task-bound lifecycle and state model instantiated by a quantum-safe task passport (QTP) that binds purpose, scope, computation type, participants, validity, evidence-key metadata, and an initial governed-resource profile.

Si-Hang Qin, Yu-Rou Wu, Jie-Ling Wen et al. · 0 citations
Preprint Oct 2026

Attestable Audit: Property-Based Attestation for Proprietary Workloads without Artifact Disclosure

Trusted Execution Environments (TEEs) prove the integrity of code and data to a remote peer through remote attestation: the TEE issues an attestation report by signing, with a hardware-bound key, its configuration information, including measurements (cryptographic digests) of the code loaded inside it. A verifier appra...

Takuma Imamura · 0 citations
Open access 2026

SecuAudit: Integrity-Preserving Metadata Compliance Auditing for Secure Data Circulation in MCP-Enabled AI Agents

Security analysis demonstrates that SecuAudit can effectively resist data forgery, metadata tampering, and sub-threshold collusion attacks under the defined threat model, and establishes a feasible framework for secure data circulation under the evaluated deployment assumptions.

Yufa Shi, Jia-Xing Hu, Li-Peng Wang et al. · 0 citations
Open access Aug 2026

Two-Point Authorization Engine with Revocable Sharing for Multitenant Environments

The access-kit is presented, an in-process authorization engine for the .NET platform built on an explicit model: principals, “area:verb” actions, composable deny-wins policy statements with inheritance, and a resource hierarchy, and an analytic cost model and an evaluation measured on PostgreSQL.

A. Melnychenko, O. V. Shaldenko · 0 citations
Book Open access Oct 2026

ControlsDSL: A Language for Verifiable Cloud Configuration Controls

Cloud providers rely on compliance controls to ensure that customer resources are configured according to security best practices -- from encryption of storage to network isolation of compute instances. Today, these controls are typically written as general-purpose programs (e.g., in Python or Java), making them diffic...

Miyriee Alair, Shrutarshi Basu, Sean Cai et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.