Cover Image

Trusted Compute Units: A Framework for Chained Verifiable Computations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Castillo, Fernando, Heiss, Jonathan, Werner, Sebastian, Tai, Stefan
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
by: Domenech, Alvaro Alonso, et al.
Published: (2024)

Towards Trusted Service Monitoring: Verifiable Service Level Agreements
by: Castillo, Fernando, et al.
Published: (2025)

A Confidential Computing Transparency Framework for a Comprehensive Trust Chain
by: Kocaoğullar, Ceren, et al.
Published: (2024)

End-to-End Verifiable Decentralized Federated Learning
by: Lee, Chaehyeon, et al.
Published: (2024)

An Evidence-driven Protocol for Trustworthy CI Pipelines
by: Castillo, Fernando, et al.
Published: (2026)

Decentralized Proof-of-Location for Content Provenance: Towards Capture-Time Authenticity
by: Brito, Eduardo, et al.
Published: (2026)

Towards Credential-based Device Registration in DApps for DePINs with ZKPs
by: Heiss, Jonathan, et al.
Published: (2024)

State of the Art Report: Verified Computation
by: Woodcock, Jim, et al.
Published: (2023)

Verifiable Privacy-Preserving Computing
by: Bontekoe, Tariq, et al.
Published: (2023)

Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
by: Mohammed, Ameer, et al.
Published: (2026)

Advocate -- Trustworthy Evidence in Cloud Systems
by: Werner, Sebastian, et al.
Published: (2024)

T-Edge: Trusted Heterogeneous Edge Computing
by: Shen, Jiamin, et al.
Published: (2024)

Privacy-Preserving On-chain Permissioning for KYC-Compliant Decentralized Applications
by: Piper, Fabian, et al.
Published: (2025)

TrustChain: A Blockchain Framework for Auditing and Verifying Aggregators in Decentralized Federated Learning
by: Hallaji, Ehsan, et al.
Published: (2025)

IMMACULATE: A Practical LLM Auditing Framework via Verifiable Computation
by: Guo, Yanpei, et al.
Published: (2026)

Zero-Trust Mobility-Aware Authentication Framework for Secure Vehicular Fog Computing Networks
by: Ahmad, Taimoor
Published: (2025)

CCxTrust: Confidential Computing Platform Based on TEE and TPM Collaborative Trust
by: Shang, Ketong, et al.
Published: (2024)

Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
by: Ray, Dustin, et al.
Published: (2025)

DataSeal: Ensuring the Verifiability of Private Computation on Encrypted Data
by: Santriaji, Muhammad Husni, et al.
Published: (2024)

TruChain: A Multi-Layer Architecture for Trusted, Verifiable, and Immutable Open Banking Data
by: Rahman, Aufa Nasywa, et al.
Published: (2025)

TrustMee: Self-Verifying Remote Attestation Evidence
by: Sinaki, Parsa Sadri, et al.
Published: (2026)

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
by: Zhang, Yancheng, et al.
Published: (2025)

Agora: Trust Less and Open More in Verification for Confidential Computing
by: Chen, Hongbo, et al.
Published: (2024)

Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing
by: Neto, Antonio Joia, et al.
Published: (2026)

A Verifiable Computing Scheme for Encrypted Control Systems
by: Stabile, Francesca, et al.
Published: (2024)

virtCCA: Virtualized Arm Confidential Compute Architecture with TrustZone
by: Xu, Xiangyi, et al.
Published: (2023)

Towards Quantum-Resistant Trusted Computing: Architectures for Post-Quantum Integrity Verification Techniques
by: D'Onghia, Grazia, et al.
Published: (2026)

Abstraction of Trusted Execution Environments as the Missing Layer for Broad Confidential Computing Adoption: A Systematization of Knowledge
by: Michaud, Quentin, et al.
Published: (2025)

Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments
by: Hugenroth, Daniel, et al.
Published: (2025)

Cross-Chain Sealed-Bid Auctions Using Confidential Compute Blockchains
by: Gebele, Jonas, et al.
Published: (2025)

Plausible Deniability in Fully Homomorphic Computation
by: Ahmad, Shahzad, et al.
Published: (2026)

Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects
by: de Sousa, Janislley Oliveira, et al.
Published: (2024)

A Note on Publicly Verifiable Quantum Money with Low Quantum Computational Resources
by: Genovese, Fabrizio, et al.
Published: (2025)

AQUAREUM: Non-Equivocating Censorship-Evident Centralized Ledger with EVM-Based Verifiable Execution using Trusted Computing and Blockchain
by: Homoliak, Ivan, et al.
Published: (2020)

Federated TrustChain: Blockchain-Enhanced LLM Training and Unlearning
by: Zuo, Xuhan, et al.
Published: (2024)

Substituting Proof of Work in Blockchain with Training-Verified Collaborative Model Computation
by: Rafid, Mohammad Ishzaz Asif, et al.
Published: (2025)

A Survey on Privacy-Preserving Computing in the Automotive Domain
by: Yuca, Nergiz, et al.
Published: (2025)

The Art of Building Verifiers for Computer Use Agents
by: Rosset, Corby, et al.
Published: (2026)

A Survey of Interactive Verifiable Computing: Utilizing Low-degree Polynomials
by: Wang, Angold
Published: (2025)

Architecting Trust: A Framework for Secure IoT Systems Through Trusted Execution and Semantic Middleware
by: Imran, Muhammad
Published: (2026)