Fernando Castillo

dblp:248/1411 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
4since 2021 · last 2025
0009-0003-6835-8711ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Security and privacy · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2025 A Taxonomy and Methodology for Proof-of-Location Systems
Eduardo Brito, Fernando Castillo, Liina Kamm, Amnir Hadachi, Ulrich Norbisrath
EDOC2
2025 Trustworthy Decentralized Autonomous Machines: A New Paradigm in Automation Economy
abstract
Decentralized Autonomous Machines (DAMs) represent a transformative paradigm in automation economy, integrating artificial intelligence (AI), blockchain technology, and Internet of Things (IoT) devices to create self-governing economic agents participating in Decentralized Physical Infrastructure Networks (DePIN). Capable of managing both digital and physical assets and unlike traditional Decentralized Autonomous Organizations (DAOs), DAMs extend autonomy into the physical world, enabling trustless systems for Real and Digital World Assets (RDWAs). In this paper, we explore the technological foundations, and challenges of DAMs and argue that DAMs are pivotal in transitioning from trust-based to trustless economic models, offering scalable, transparent, and equitable solutions for asset management. The integration of AI-driven decision-making, IoT-enabled operational autonomy, and blockchain-based governance allows DAMs to decentralize ownership, optimize resource allocation, and democratize access to economic opportunities. Therefore, in this research, we highlight the potential of DAMs to address inefficiencies in centralized systems, reduce wealth disparities, and foster a post-labor economy.
Fernando Castillo, Oscar Castillo 0003, Eduardo Brito, Simon Espinola
ICBC1
2025 Trusted Compute Units: A Framework for Chained Verifiable Computations
abstract
Blockchain and distributed ledger technologies (DLTs) facilitate decentralized computations across trust boundaries. However, ensuring complex computations with low gas fees and confidentiality remains challenging. Recent advances in Confidential Computing —leveraging hardware-based Trusted Execution Environments (TEEs)—and Proof-carrying Data—employing cryptographic Zero-Knowledge Virtual Machines (zkVMs)—hold promise for secure, privacy-preserving off-chain and layer-2 computations. On the other side, a homogeneous reliance on a single technology, such as TEEs or zkVMs, is impractical for decentralized environments with heterogeneous computational requirements.This paper introduces the Trusted Compute Unit (TCU), a unifying framework that enables composable and interoperable verifiable computations across heterogeneous technologies. Our approach allows decentralized applications (dApps) to flexibly offload complex computations to TCUs, obtaining proof of correctness. These proofs can be anchored on-chain for automated dApps interactions, while ensuring confidentiality of input data, and integrity of output data.We demonstrate how TCUs can support a prominent blockchain use case, such as federated learning. By enabling secure, off-chain interactions without incurring on-chain confirmation delays or gas fees, TCUs significantly improve system performance and scalability. Experimental insights and performance evaluations confirm the feasibility and practicality of this unified approach, advancing the state of the art in verifiable off-chain services for the blockchain ecosystem.
Fernando Castillo, Jonathan Heiss, Sebastian Werner 0001, Stefan Tai
ICBC1
2025 Towards Trusted Service Monitoring: Verifiable Service Level Agreements
Fernando Castillo, Eduardo Brito, Sebastian Werner 0001, Pille Pullonen, Jonathan Heiss
ICSOC (2)1